/ubuntu/pool/universe/m/minisat2/

0 directories 26 files
Name Size Modified
Go up
minisat2_2.2.1-4.debian.tar.gz 9.2 KiB
minisat2_2.2.1-4.dsc 1.8 KiB
minisat2_2.2.1-4_amd64.deb 1.9 KiB
minisat2_2.2.1-4_i386.deb 1.9 KiB
minisat2_2.2.1-5.debian.tar.xz 9.1 KiB
minisat2_2.2.1-5.dsc 1.8 KiB
minisat2_2.2.1-5_amd64.deb 1.9 KiB
minisat2_2.2.1-5_i386.deb 1.9 KiB
minisat2_2.2.1-5build1.debian.tar.xz 9.3 KiB
minisat2_2.2.1-5build1.dsc 1.9 KiB
minisat2_2.2.1-5build1_amd64.deb 2.0 KiB
minisat2_2.2.1-5build1_i386.deb 2.0 KiB
minisat2_2.2.1-5build2.debian.tar.xz 9.3 KiB
minisat2_2.2.1-5build2.dsc 1.9 KiB
minisat2_2.2.1-5build2_amd64.deb 2.0 KiB
minisat2_2.2.1-8.debian.tar.xz 9.6 KiB
minisat2_2.2.1-8.dsc 1.7 KiB
minisat2_2.2.1.orig.tar.gz 43 KiB
minisat_2.2.1-4_amd64.deb 128 KiB
minisat_2.2.1-4_i386.deb 124 KiB
minisat_2.2.1-5_amd64.deb 81 KiB
minisat_2.2.1-5_i386.deb 95 KiB
minisat_2.2.1-5build1_amd64.deb 80 KiB
minisat_2.2.1-5build1_i386.deb 89 KiB
minisat_2.2.1-5build2_amd64.deb 80 KiB
minisat_2.2.1-8_amd64.deb 86 KiB