|
📁 ../
|
- |
- |
|
📄 minisat+_1.0-4.debian.tar.xz
|
4176 bytes
|
2017-02-22 20:22:46 |
|
📄 minisat+_1.0-4.dsc
|
1984 bytes
|
2017-02-22 20:22:46 |
|
📄 minisat+_1.0-4_amd64.deb
|
158368 bytes
|
2017-02-22 21:12:54 |
|
📄 minisat+_1.0-4_arm64.deb
|
133914 bytes
|
2017-02-22 21:12:56 |
|
📄 minisat+_1.0-4_armel.deb
|
129920 bytes
|
2017-02-22 21:12:53 |
|
📄 minisat+_1.0-4_armhf.deb
|
133736 bytes
|
2017-02-22 21:12:56 |
|
📄 minisat+_1.0-4_i386.deb
|
160076 bytes
|
2017-02-22 21:12:55 |
|
📄 minisat+_1.0-4_mips64el.deb
|
147888 bytes
|
2017-02-22 21:28:00 |
|
📄 minisat+_1.0-4_mipsel.deb
|
144724 bytes
|
2017-02-22 21:43:03 |
|
📄 minisat+_1.0-4_ppc64el.deb
|
148488 bytes
|
2017-02-22 21:12:54 |
|
📄 minisat+_1.0-4_s390x.deb
|
146702 bytes
|
2017-02-22 21:12:55 |
|
📄 minisat+_1.0-5.debian.tar.xz
|
4448 bytes
|
2024-10-09 21:34:30 |
|
📄 minisat+_1.0-5.dsc
|
1979 bytes
|
2024-10-09 21:34:30 |
|
📄 minisat+_1.0-5_amd64.deb
|
149280 bytes
|
2024-10-10 00:45:10 |
|
📄 minisat+_1.0-5_arm64.deb
|
133140 bytes
|
2024-10-10 00:29:46 |
|
📄 minisat+_1.0-5_armel.deb
|
125260 bytes
|
2024-10-10 00:45:06 |
|
📄 minisat+_1.0-5_armhf.deb
|
129244 bytes
|
2024-10-10 00:29:44 |
|
📄 minisat+_1.0-5_i386.deb
|
147972 bytes
|
2024-10-10 00:40:03 |
|
📄 minisat+_1.0-5_loong64.deb
|
153476 bytes
|
2025-12-20 16:34:56 |
|
📄 minisat+_1.0-5_ppc64el.deb
|
153040 bytes
|
2024-10-10 00:29:45 |
|
📄 minisat+_1.0-5_riscv64.deb
|
151296 bytes
|
2024-10-10 01:20:59 |
|
📄 minisat+_1.0-5_s390x.deb
|
167596 bytes
|
2024-10-10 00:45:18 |
|
📄 minisat+_1.0.orig.tar.gz
|
79990 bytes
|
2011-05-14 12:02:24 |