Package: minisat+ upstream defunct, alternative: https://web.archive.org/web/20131205203636/http://minisat.se/downloads/ http://minisat.se/MiniSat+.html
Debian CVS not found, deprecated: https://anonscm.debian.org/cgit/debian-science/packages/minisat+.git
signature.asc
Description: OpenPGP digital signature