Index of /pool/universe/m/minisat+
Name
Last modified
Size
Parent Directory
-
minisat+_1.0-2.debian.tar.gz
2011-11-12 09:20
3.9K
minisat+_1.0-2.dsc
2011-11-12 09:20
1.2K
minisat+_1.0-2_arm64.deb
2013-10-20 06:28
172K
minisat+_1.0-2_armhf.deb
2011-12-07 13:04
141K
minisat+_1.0-2_powerpc.deb
2011-11-13 07:03
169K
minisat+_1.0-2_ppc64el.deb
2014-02-19 10:28
147K
minisat+_1.0-2_s390x.deb
2015-12-05 01:47
147K
minisat+_1.0-4.debian.tar.xz
2017-04-29 23:58
4.1K
minisat+_1.0-4.dsc
2017-04-29 23:58
1.9K
minisat+_1.0-4_arm64.deb
2017-04-30 02:36
132K
minisat+_1.0-4_armhf.deb
2017-04-30 02:37
122K
minisat+_1.0-4_ppc64el.deb
2017-04-30 01:30
146K
minisat+_1.0-4_s390x.deb
2017-04-30 01:32
146K
minisat+_1.0-4build1.debian.tar.xz
2020-03-22 17:10
4.2K
minisat+_1.0-4build1.dsc
2020-03-22 17:10
2.0K
minisat+_1.0-4build1_arm64.deb
2020-03-22 20:56
124K
minisat+_1.0-4build1_armhf.deb
2020-03-22 20:56
117K
minisat+_1.0-4build1_ppc64el.deb
2020-03-22 21:18
146K
minisat+_1.0-4build1_riscv64.deb
2020-04-03 10:14
137K
minisat+_1.0-4build1_s390x.deb
2020-03-22 20:31
155K
minisat+_1.0-5.debian.tar.xz
2024-10-31 19:11
4.3K
minisat+_1.0-5.dsc
2024-10-31 19:11
1.9K
minisat+_1.0-5_arm64.deb
2024-10-31 21:11
153K
minisat+_1.0-5_armhf.deb
2024-10-31 21:20
144K
minisat+_1.0-5_ppc64el.deb
2024-11-01 01:09
169K
minisat+_1.0-5_riscv64.deb
2024-11-01 12:36
164K
minisat+_1.0-5_s390x.deb
2024-10-31 21:34
189K
minisat+_1.0.orig.tar.gz
2011-11-12 09:20
78K
Apache/2.4.29 (Ubuntu) Server at ports.ubuntu.com Port 80