|
📁 ../
|
- |
- |
|
📄 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-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_armhf.deb
|
129244 bytes
|
2024-10-10 00:29:44 |
|
📄 minisat+_1.0-5_riscv64.deb
|
151296 bytes
|
2024-10-10 01:20:59 |
|
📄 minisat+_1.0.orig.tar.gz
|
79990 bytes
|
2011-05-14 12:02:24 |