Processing commands for [email protected]: > reopen 958287 Bug #958287 {Done: [email protected]} [minisat+] minisat+: Upstream potentially moved to github, new upstream version 1.1 Bug reopened Ignoring request to alter fixed versions of bug #958287 to the same values previously set > End of message, stopping processing here.
Please contact me if you need assistance. -- 958287: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=958287 Debian Bug Tracking System Contact [email protected] with problems -- debian-science-maintainers mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
