Index of /ubuntu/pool/universe/m/minisat2/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
minisat2_2.2.1-8build1.dsc 18112024-Apr-01 17:00
minisat2_2.2.1-4.dsc 18792013-Jul-15 07:43
minisat2_2.2.1-5.dsc 18932014-Jul-31 02:44
minisat2_2.2.1-4_amd64.deb 18962013-Jul-15 07:58
minisat2_2.2.1-4_i386.deb 18962013-Jul-15 07:58
minisat2_2.2.1-5build2.dsc 19782020-Mar-23 02:10
minisat2_2.2.1-5build1.dsc 19822018-Apr-05 17:01
minisat2_2.2.1-5_amd64.deb 19942014-Jul-31 03:38
minisat2_2.2.1-5_i386.deb 19962014-Jul-31 03:40
minisat2_2.2.1-5build1_i386.deb 20282018-Apr-05 17:04
minisat2_2.2.1-5build1_amd64.deb 20322018-Apr-05 17:03
minisat2_2.2.1-5build2_amd64.deb 20322020-Mar-23 03:00
minisat2_2.2.1-5.debian.tar.xz 93482014-Jul-31 02:44
minisat2_2.2.1-4.debian.tar.gz 93882013-Jul-15 07:43
minisat2_2.2.1-5build1.debian.tar.xz 94802018-Apr-05 17:01
minisat2_2.2.1-5build2.debian.tar.xz 95282020-Mar-23 02:10
minisat2_2.2.1-8build1.debian.tar.xz 99762024-Apr-01 17:00
minisat2_2.2.1.orig.tar.gz 442292011-May-01 02:05
minisat_2.2.1-5build1_amd64.deb 818162018-Apr-05 17:03
minisat_2.2.1-5build2_amd64.deb 819442020-Mar-23 03:00
minisat_2.2.1-5_amd64.deb 829802014-Jul-31 03:38
minisat_2.2.1-8build1_amd64.deb 880622024-Apr-01 19:33
minisat_2.2.1-5build1_i386.deb 906922018-Apr-05 17:04
minisat_2.2.1-5_i386.deb 970382014-Jul-31 03:40
minisat_2.2.1-4_i386.deb 1272982013-Jul-15 07:58
minisat_2.2.1-4_amd64.deb 1309442013-Jul-15 07:58