File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
minisat_2.2.1-8build1_amd64.deb86.0 KiB2024-Apr-01 11:33
minisat_2.2.1-5build2_amd64.deb80.0 KiB2020-Mar-22 19:00
minisat_2.2.1-5build1_i386.deb88.6 KiB2018-Apr-05 09:04
minisat_2.2.1-5build1_amd64.deb79.9 KiB2018-Apr-05 09:03
minisat_2.2.1-5_i386.deb94.8 KiB2014-Jul-30 19:40
minisat_2.2.1-5_amd64.deb81.0 KiB2014-Jul-30 19:38
minisat_2.2.1-4_i386.deb124.3 KiB2013-Jul-14 23:58
minisat_2.2.1-4_amd64.deb127.9 KiB2013-Jul-14 23:58
minisat2_2.2.1.orig.tar.gz43.2 KiB2011-Apr-30 18:05
minisat2_2.2.1-8build1.dsc1.8 KiB2024-Apr-01 09:00
minisat2_2.2.1-8build1.debian.tar.xz9.7 KiB2024-Apr-01 09:00
minisat2_2.2.1-5build2_amd64.deb2.0 KiB2020-Mar-22 19:00
minisat2_2.2.1-5build2.dsc1.9 KiB2020-Mar-22 18:10
minisat2_2.2.1-5build2.debian.tar.xz9.3 KiB2020-Mar-22 18:10
minisat2_2.2.1-5build1_i386.deb2.0 KiB2018-Apr-05 09:04
minisat2_2.2.1-5build1_amd64.deb2.0 KiB2018-Apr-05 09:03
minisat2_2.2.1-5build1.dsc1.9 KiB2018-Apr-05 09:01
minisat2_2.2.1-5build1.debian.tar.xz9.3 KiB2018-Apr-05 09:01
minisat2_2.2.1-5_i386.deb1.9 KiB2014-Jul-30 19:40
minisat2_2.2.1-5_amd64.deb1.9 KiB2014-Jul-30 19:38
minisat2_2.2.1-5.dsc1.8 KiB2014-Jul-30 18:44
minisat2_2.2.1-5.debian.tar.xz9.1 KiB2014-Jul-30 18:44
minisat2_2.2.1-4_i386.deb1.9 KiB2013-Jul-14 23:58
minisat2_2.2.1-4_amd64.deb1.9 KiB2013-Jul-14 23:58
minisat2_2.2.1-4.dsc1.8 KiB2013-Jul-14 23:43
minisat2_2.2.1-4.debian.tar.gz9.2 KiB2013-Jul-14 23:43