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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
minisat_2.2.1-8_amd64.deb 880942024-Feb-27 00:03
minisat2_2.2.1-8.debian.tar.xz 98642024-Feb-26 23:17
minisat2_2.2.1-8.dsc 17292024-Feb-26 23:17
minisat2_2.2.1-5build2_amd64.deb 20322020-Mar-22 18:00
minisat_2.2.1-5build2_amd64.deb 819442020-Mar-22 18:00
minisat2_2.2.1-5build2.debian.tar.xz 95282020-Mar-22 17:10
minisat2_2.2.1-5build2.dsc 19782020-Mar-22 17:10
minisat2_2.2.1-5build1_i386.deb 20282018-Apr-05 08:04
minisat_2.2.1-5build1_i386.deb 906922018-Apr-05 08:04
minisat_2.2.1-5build1_amd64.deb 818162018-Apr-05 08:03
minisat2_2.2.1-5build1_amd64.deb 20322018-Apr-05 08:03
minisat2_2.2.1-5build1.debian.tar.xz 94802018-Apr-05 08:01
minisat2_2.2.1-5build1.dsc 19822018-Apr-05 08:01
minisat2_2.2.1-5_i386.deb 19962014-Jul-30 18:40
minisat_2.2.1-5_i386.deb 970382014-Jul-30 18:40
minisat2_2.2.1-5_amd64.deb 19942014-Jul-30 18:38
minisat_2.2.1-5_amd64.deb 829802014-Jul-30 18:38
minisat2_2.2.1-5.debian.tar.xz 93482014-Jul-30 17:44
minisat2_2.2.1-5.dsc 18932014-Jul-30 17:44
minisat_2.2.1-4_i386.deb 1272982013-Jul-14 22:58
minisat2_2.2.1-4_i386.deb 18962013-Jul-14 22:58
minisat_2.2.1-4_amd64.deb 1309442013-Jul-14 22:58
minisat2_2.2.1-4_amd64.deb 18962013-Jul-14 22:58
minisat2_2.2.1-4.debian.tar.gz 93882013-Jul-14 22:43
minisat2_2.2.1-4.dsc 18792013-Jul-14 22:43
minisat2_2.2.1.orig.tar.gz 442292011-Apr-30 17:05