Index of /sites/debian.org/debian/pool/main/m/minisat+
Name Last modified Size Description
![[PARENTDIR]](/strapdown/icons/glyphicon-circle-arrow-up.svg)
Parent Directory -
![[ ]](/icons/compressed.gif)
minisat+_1.0-2.debian.tar.gz 2011-05-25 03:50 3.9K
![[TXT]](/strapdown/icons/glyphicon-file.svg)
minisat+_1.0-2.dsc 2011-05-25 03:50 1.2K
minisat+_1.0-2_amd64.deb 2011-05-25 03:50 176K
minisat+_1.0-2_i386.deb 2011-05-25 09:49 170K
minisat+_1.0-3.debian.tar.xz 2016-12-19 20:23 4.0K
minisat+_1.0-3.dsc 2016-12-19 20:23 1.9K
minisat+_1.0-3_amd64.deb 2016-12-19 20:58 155K
minisat+_1.0-3_i386.deb 2016-12-19 20:58 156K
minisat+_1.0-4.debian.tar.xz 2017-02-22 21:22 4.1K
minisat+_1.0-4.dsc 2017-02-22 21:22 1.9K
minisat+_1.0-4_amd64.deb 2017-02-22 22:12 155K
minisat+_1.0-4_i386.deb 2017-02-22 22:12 156K
minisat+_1.0.orig.tar.gz 2011-05-14 14:02 78K