|
../ |
— |
— |
|
minisat+_1.0-4_amd64.deb |
154.7 KB |
Feb 22, 2017 |
|
minisat+_1.0-4_arm64.deb |
130.8 KB |
Feb 22, 2017 |
|
minisat+_1.0-4_armhf.deb |
130.6 KB |
Feb 22, 2017 |
|
minisat+_1.0-4_i386.deb |
156.3 KB |
Feb 22, 2017 |
|
minisat+_1.0-4.debian.tar.xz |
4.1 KB |
Feb 22, 2017 |
|
minisat+_1.0-4.dsc |
1.9 KB |
Feb 22, 2017 |
|
minisat+_1.0-5_amd64.deb |
145.8 KB |
Oct 9, 2024 |
|
minisat+_1.0-5_arm64.deb |
130 KB |
Oct 9, 2024 |
|
minisat+_1.0-5_armhf.deb |
126.2 KB |
Oct 9, 2024 |
|
minisat+_1.0-5_i386.deb |
144.5 KB |
Oct 9, 2024 |
|
minisat+_1.0-5_riscv64.deb |
147.8 KB |
Oct 9, 2024 |
|
minisat+_1.0-5.debian.tar.xz |
4.3 KB |
Oct 9, 2024 |
|
minisat+_1.0-5.dsc |
1.9 KB |
Oct 9, 2024 |
|
minisat+_1.0.orig.tar.gz |
78.1 KB |
May 14, 2011 |