Your message dated Thu, 10 Nov 2022 23:57:32 +0200
with message-id <Y21zzLkIWxmpu9LS@localhost>
and subject line Re: Bug#998180: basix: no longer builds any binaries
has caused the Debian Bug report #998180,
regarding basix: no longer builds any binaries
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
998180: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=998180
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: basix
Version: 0.0.1~git20210122.4f10ef2-2
Severity: serious
The binaries have been taken over by fenics-basix and basix should be
removed.
Cheers
--
Sebastian Ramacher
--- End Message ---
--- Begin Message ---
On Sun, Oct 31, 2021 at 03:56:57PM +0100, Sebastian Ramacher wrote:
> Source: basix
> Version: 0.0.1~git20210122.4f10ef2-2
> Severity: serious
>
> The binaries have been taken over by fenics-basix and basix should be
> removed.
This has happened in the meantime.
> Cheers
cu
Adrian
--- End Message ---
