1 MiB
15 files
0 directories
Index of /ubuntu/pool/universe/m/minisat+/
Filename Modified Size Type
[Parent Directory]---
minisat+_1.0-2.debian.tar.gz12/11/11 09:2012/11/113.9 KiB[Save][Download]
minisat+_1.0-2.dsc12/11/11 09:2012/11/111.2 KiB[Save][Download]
minisat+_1.0-2_amd64.deb12/11/11 12:1212/11/11176 KiB[Save][Download]
minisat+_1.0-2_i386.deb12/11/11 12:1612/11/11168 KiB[Save][Download]
minisat+_1.0-4.debian.tar.xz29/04/17 23:5829/04/174.1 KiB[Save][Download]
minisat+_1.0-4.dsc29/04/17 23:5829/04/171.9 KiB[Save][Download]
minisat+_1.0-4_amd64.deb30/04/17 01:2530/04/17155 KiB[Save][Download]
minisat+_1.0-4_i386.deb30/04/17 01:2930/04/17146 KiB[Save][Download]
minisat+_1.0-4build1.debian.tar.xz22/03/20 17:1022/03/204.2 KiB[Save][Download]
minisat+_1.0-4build1.dsc22/03/20 17:1022/03/202 KiB[Save][Download]
minisat+_1.0-4build1_amd64.deb22/03/20 17:5022/03/20139 KiB[Save][Download]
minisat+_1.0.orig.tar.gz12/11/11 09:2012/11/1178.1 KiB[Save][Download]
minisat+_1.0-5.debian.tar.xz31/10/24 19:1131/10/244.3 KiB[Save][Download]
minisat+_1.0-5.dsc31/10/24 19:1131/10/241.9 KiB[Save][Download]
minisat+_1.0-5_amd64.deb31/10/24 20:5931/10/24157 KiB[Save][Download]
Page generated in 0.222846 seconds
Browsing /ubuntu/pool/universe/m/minisat+/ @ mirror.ihost.md