| .. |
|
|
|
minisat+_1.0-2.debian.tar.gz
|
2011-11-12 09:20:28 |
3.87 KiB
|
|
minisat+_1.0-2.dsc
|
2011-11-12 09:20:28 |
1.23 KiB
|
|
minisat+_1.0-2_arm64.deb
|
2013-10-20 06:28:33 |
171.98 KiB
|
|
minisat+_1.0-2_armhf.deb
|
2011-12-07 13:04:40 |
140.81 KiB
|
|
minisat+_1.0-2_powerpc.deb
|
2011-11-13 07:03:55 |
169.34 KiB
|
|
minisat+_1.0-2_ppc64el.deb
|
2014-02-19 10:28:51 |
147.27 KiB
|
|
minisat+_1.0-2_s390x.deb
|
2015-12-05 01:47:12 |
146.96 KiB
|
|
minisat+_1.0-4.debian.tar.xz
|
2017-04-29 23:58:45 |
4.08 KiB
|
|
minisat+_1.0-4.dsc
|
2017-04-29 23:58:45 |
1.94 KiB
|
|
minisat+_1.0-4_arm64.deb
|
2017-04-30 02:36:29 |
131.63 KiB
|
|
minisat+_1.0-4_armhf.deb
|
2017-04-30 02:37:43 |
122.33 KiB
|
|
minisat+_1.0-4_ppc64el.deb
|
2017-04-30 01:30:50 |
146.10 KiB
|
|
minisat+_1.0-4_s390x.deb
|
2017-04-30 01:32:51 |
146.19 KiB
|
|
minisat+_1.0-4build1.debian.tar.xz
|
2020-03-22 17:10:05 |
4.15 KiB
|
|
minisat+_1.0-4build1.dsc
|
2020-03-22 17:10:05 |
1.99 KiB
|
|
minisat+_1.0-4build1_arm64.deb
|
2020-03-22 20:56:14 |
123.58 KiB
|
|
minisat+_1.0-4build1_armhf.deb
|
2020-03-22 20:56:29 |
116.90 KiB
|
|
minisat+_1.0-4build1_ppc64el.deb
|
2020-03-22 21:18:58 |
146.39 KiB
|
|
minisat+_1.0-4build1_riscv64.deb
|
2020-04-03 10:14:27 |
137.03 KiB
|
|
minisat+_1.0-4build1_s390x.deb
|
2020-03-22 20:31:42 |
155.06 KiB
|
|
minisat+_1.0-5.debian.tar.xz
|
2024-10-31 19:11:47 |
4.34 KiB
|
|
minisat+_1.0-5.dsc
|
2024-10-31 19:11:47 |
1.93 KiB
|
|
minisat+_1.0-5_arm64.deb
|
2024-10-31 21:11:28 |
153.46 KiB
|
|
minisat+_1.0-5_armhf.deb
|
2024-10-31 21:20:06 |
144.10 KiB
|
|
minisat+_1.0-5_ppc64el.deb
|
2024-11-01 01:09:39 |
168.96 KiB
|
|
minisat+_1.0-5_riscv64.deb
|
2024-11-01 12:36:03 |
163.73 KiB
|
|
minisat+_1.0-5_s390x.deb
|
2024-10-31 21:34:30 |
189.23 KiB
|
|
minisat+_1.0.orig.tar.gz
|
2011-11-12 09:20:28 |
78.12 KiB
|