/ubuntu/pool/universe/m/minisat2/

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