Name Last modified Size Description
Parent Directory - minisat+_1.0.orig.tar.gz 2011-11-12 04:20 78K Raw or other Packages minisat+_1.0-4build1_amd64.deb 2020-03-22 13:50 139K Debian/Ubuntu Packages minisat+_1.0-4build1.dsc 2020-03-22 13:10 2.0K minisat+_1.0-4build1.debian.tar.xz 2020-03-22 13:10 4.2K Debian/Ubuntu Packages minisat+_1.0-4_i386.deb 2017-04-29 21:29 146K Debian/Ubuntu Packages minisat+_1.0-4_amd64.deb 2017-04-29 21:25 155K Debian/Ubuntu Packages minisat+_1.0-4.dsc 2017-04-29 19:58 1.9K minisat+_1.0-4.debian.tar.xz 2017-04-29 19:58 4.1K Debian/Ubuntu Packages minisat+_1.0-2_i386.deb 2011-11-12 07:16 168K Debian/Ubuntu Packages minisat+_1.0-2_amd64.deb 2011-11-12 07:12 176K Debian/Ubuntu Packages minisat+_1.0-2.dsc 2011-11-12 04:20 1.2K minisat+_1.0-2.debian.tar.gz 2011-11-12 04:20 3.9K Debian/Ubuntu Packages