![]() | Name | Last modified | Size |
---|---|---|---|
![]() | Parent Directory | - | |
![]() | minisat+_1.0-2.debian.tar.gz | 2011-05-25 01:50 | 3.9K |
![]() | minisat+_1.0-2.dsc | 2011-05-25 01:50 | 1.2K |
![]() | minisat+_1.0-2_amd64.deb | 2011-05-25 01:50 | 176K |
![]() | minisat+_1.0-2_arm64.deb | 2014-08-18 09:43 | 131K |
![]() | minisat+_1.0-2_armel.deb | 2011-05-25 07:14 | 155K |
![]() | minisat+_1.0-2_armhf.deb | 2011-11-28 00:21 | 142K |
![]() | minisat+_1.0-2_i386.deb | 2011-05-25 07:49 | 170K |
![]() | minisat+_1.0-2_ia64.deb | 2011-05-27 17:25 | 274K |
![]() | minisat+_1.0-2_kfreebsd-amd64.deb | 2011-05-25 13:34 | 176K |
![]() | minisat+_1.0-2_kfreebsd-i386.deb | 2011-05-25 13:49 | 170K |
![]() | minisat+_1.0-2_mips.deb | 2011-05-25 07:16 | 165K |
![]() | minisat+_1.0-2_mipsel.deb | 2011-05-27 21:10 | 166K |
![]() | minisat+_1.0-2_powerpc.deb | 2011-05-25 07:20 | 169K |
![]() | minisat+_1.0-2_ppc64el.deb | 2014-08-20 08:41 | 143K |
![]() | minisat+_1.0-2_s390.deb | 2011-05-25 09:26 | 167K |
![]() | minisat+_1.0-2_s390x.deb | 2011-11-26 23:45 | 178K |
![]() | minisat+_1.0-2_sparc.deb | 2011-05-25 15:11 | 150K |
![]() | minisat+_1.0.orig.tar.gz | 2011-05-14 12:02 | 78K |