|
📁 ../
|
- |
- |
|
📄 minisat+_1.0-2.debian.tar.gz
|
3966 bytes
|
2011-11-12 09:20:28 |
|
📄 minisat+_1.0-2.dsc
|
1262 bytes
|
2011-11-12 09:20:28 |
|
📄 minisat+_1.0-2_arm64.deb
|
176112 bytes
|
2013-10-20 06:28:33 |
|
📄 minisat+_1.0-2_armhf.deb
|
144190 bytes
|
2011-12-07 13:04:40 |
|
📄 minisat+_1.0-2_powerpc.deb
|
173406 bytes
|
2011-11-13 07:03:55 |
|
📄 minisat+_1.0-2_ppc64el.deb
|
150804 bytes
|
2014-02-19 10:28:51 |
|
📄 minisat+_1.0-2_s390x.deb
|
150490 bytes
|
2015-12-05 01:47:12 |
|
📄 minisat+_1.0-4.debian.tar.xz
|
4176 bytes
|
2017-04-29 23:58:45 |
|
📄 minisat+_1.0-4.dsc
|
1984 bytes
|
2017-04-29 23:58:45 |
|
📄 minisat+_1.0-4_arm64.deb
|
134786 bytes
|
2017-04-30 02:36:29 |
|
📄 minisat+_1.0-4_armhf.deb
|
125266 bytes
|
2017-04-30 02:37:43 |
|
📄 minisat+_1.0-4_ppc64el.deb
|
149604 bytes
|
2017-04-30 01:30:50 |
|
📄 minisat+_1.0-4_s390x.deb
|
149702 bytes
|
2017-04-30 01:32:51 |
|
📄 minisat+_1.0-4build1.debian.tar.xz
|
4252 bytes
|
2020-03-22 17:10:05 |
|
📄 minisat+_1.0-4build1.dsc
|
2033 bytes
|
2020-03-22 17:10:05 |
|
📄 minisat+_1.0-4build1_arm64.deb
|
126544 bytes
|
2020-03-22 20:56:14 |
|
📄 minisat+_1.0-4build1_armhf.deb
|
119704 bytes
|
2020-03-22 20:56:29 |
|
📄 minisat+_1.0-4build1_ppc64el.deb
|
149904 bytes
|
2020-03-22 21:18:58 |
|
📄 minisat+_1.0-4build1_riscv64.deb
|
140320 bytes
|
2020-04-03 10:14:27 |
|
📄 minisat+_1.0-4build1_s390x.deb
|
158780 bytes
|
2020-03-22 20:31:42 |
|
📄 minisat+_1.0-5.debian.tar.xz
|
4448 bytes
|
2024-10-31 19:11:47 |
|
📄 minisat+_1.0-5.dsc
|
1979 bytes
|
2024-10-31 19:11:47 |
|
📄 minisat+_1.0-5_arm64.deb
|
157144 bytes
|
2024-10-31 21:11:28 |
|
📄 minisat+_1.0-5_armhf.deb
|
147558 bytes
|
2024-10-31 21:20:06 |
|
📄 minisat+_1.0-5_ppc64el.deb
|
173014 bytes
|
2024-11-01 01:09:39 |
|
📄 minisat+_1.0-5_riscv64.deb
|
167656 bytes
|
2024-11-01 12:36:03 |
|
📄 minisat+_1.0-5_s390x.deb
|
193772 bytes
|
2024-10-31 21:34:30 |
|
📄 minisat+_1.0.orig.tar.gz
|
79990 bytes
|
2011-11-12 09:20:28 |