Index of /debian/pool/main/m/minisat+/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
minisat+_1.0-5.dsc
1979
2024-Oct-09 21:34
minisat+_1.0-4.dsc
1984
2017-Feb-22 20:22
minisat+_1.0-4.debian.tar.xz
4176
2017-Feb-22 20:22
minisat+_1.0-5.debian.tar.xz
4448
2024-Oct-09 21:34
minisat+_1.0.orig.tar.gz
79990
2011-May-14 12:02
minisat+_1.0-5_armel.deb
125260
2024-Oct-10 00:45
minisat+_1.0-5_armhf.deb
129244
2024-Oct-10 00:29
minisat+_1.0-4_armel.deb
129920
2017-Feb-22 21:12
minisat+_1.0-5_arm64.deb
133140
2024-Oct-10 00:29
minisat+_1.0-4_armhf.deb
133736
2017-Feb-22 21:12
minisat+_1.0-4_arm64.deb
133914
2017-Feb-22 21:12
minisat+_1.0-5_mips64el.deb
143076
2024-Oct-10 01:52
minisat+_1.0-4_mipsel.deb
144724
2017-Feb-22 21:43
minisat+_1.0-4_s390x.deb
146702
2017-Feb-22 21:12
minisat+_1.0-4_mips64el.deb
147888
2017-Feb-22 21:28
minisat+_1.0-5_i386.deb
147972
2024-Oct-10 00:40
minisat+_1.0-4_ppc64el.deb
148488
2017-Feb-22 21:12
minisat+_1.0-5_amd64.deb
149280
2024-Oct-10 00:45
minisat+_1.0-5_riscv64.deb
151296
2024-Oct-10 01:20
minisat+_1.0-5_ppc64el.deb
153040
2024-Oct-10 00:29
minisat+_1.0-4_amd64.deb
158368
2017-Feb-22 21:12
minisat+_1.0-4_i386.deb
160076
2017-Feb-22 21:12
minisat+_1.0-5_s390x.deb
167596
2024-Oct-10 00:45
This mirror is provided by
Blendbyte Inc.