Processing commands for cont...@bugs.debian.org: > # src:eprover was reintroduced: > https://lists.debian.org/msgid-search/546c2c3d77eaef6dc2b26c7ed7663f16df847bda.ca...@debian.org > unarchive 521918 Bug #521918 {Done: Debian FTP Masters <ftpmas...@ftp-master.debian.org>} [eprover] eprover: FTBFS with binary-arch build Unarchived Bug 521918 > reopen 521918 Bug #521918 {Done: Debian FTP Masters <ftpmas...@ftp-master.debian.org>} [eprover] eprover: FTBFS with binary-arch build 'reopen' may be inappropriate when a bug has been closed with a version; all fixed versions will be cleared, and you may need to re-add them. Bug reopened No longer marked as fixed in versions 1.0.004-1+rm. > close 521918 2.6+ds-2 Bug #521918 [eprover] eprover: FTBFS with binary-arch build Marked as fixed in versions eprover/2.6+ds-2. Bug #521918 [eprover] eprover: FTBFS with binary-arch build Marked Bug as done > unarchive 609288 Bug #609288 {Done: Debian FTP Masters <ftpmas...@ftp-master.debian.org>} [src:eprover] E 1.2 Unarchived Bug 609288 > reopen 609288 Bug #609288 {Done: Debian FTP Masters <ftpmas...@ftp-master.debian.org>} [src:eprover] E 1.2 'reopen' may be inappropriate when a bug has been closed with a version; all fixed versions will be cleared, and you may need to re-add them. Bug reopened No longer marked as fixed in versions 1.0.004-1+rm. > close 609288 2.6+ds-2 Bug #609288 [src:eprover] E 1.2 Marked as fixed in versions eprover/2.6+ds-2. Bug #609288 [src:eprover] E 1.2 Marked Bug as done > thanks Stopping processing here.
Please contact me if you need assistance. -- 521918: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=521918 609288: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=609288 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
