Your message dated Wed, 04 Sep 2024 04:30:13 +0000
with message-id <e1slhen-000cjn...@fasolo.debian.org>
and subject line Bug#1079899: Removed package(s) from unstable
has caused the Debian Bug report #903142,
regarding O: boogie -- verifiable programming language (compiler)
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.)
--
903142: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=903142
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: normal
I request an adopter for the boogie package.
The package description is:
Boogie is a compiler intermediate language with support for automatic invariant
checking using an SMT solver such as Z3. It supports program verification for
a variety of other, higher-level languages, including Spec\#, C, Dafny, and
Chalice.
.
This package contains the Boogie compiler, as well as bvd, the Boogie
Verification Debugger.
I'm no longer using Boogie, so my motivation to keep it up-to-date has
faded. If somebody else is interested in keeping it uploaded, they're
welcome to do so.
--- End Message ---
--- Begin Message ---
Version: 2.4.1+dfsg-0.1+rm
Dear submitter,
as the package boogie has just been removed from the Debian archive
unstable we hereby close the associated bug reports. We are sorry
that we couldn't deal with your issue properly.
For details on the removal, please see https://bugs.debian.org/1079899
The version of this package that was in Debian prior to this removal
can still be found using https://snapshot.debian.org/.
Please note that the changes have been done on the master archive and
will not propagate to any mirrors until the next dinstall run at the
earliest.
This message was generated automatically; if you believe that there is
a problem with it please contact the archive administrators by mailing
ftpmas...@ftp-master.debian.org.
Debian distribution maintenance software
pp.
Scott Kitterman (the ftpmaster behind the curtain)
--- End Message ---
