Bug#651971: Removed package(s) from unstable

Debian FTP Masters ftpmaster at ftp-master.debian.org
Thu Dec 15 10:24:23 UTC 2011


Version: 1.0.004-1+rm

Dear submitter,

as the package eprover 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 http://bugs.debian.org/651971

The version of this package that was in Debian prior to this removal
can still be found using http://snapshot.debian.org/.

This message was generated automatically; if you believe that there is
a problem with it please contact the archive administrators by mailing
ftpmaster at debian.org.

Debian distribution maintenance software
pp.
Alexander Reichle-Schmehl (the ftpmaster behind the curtain)



More information about the debian-science-maintainers mailing list