Index of /ubuntu-ports/pool/universe/m/minisat+/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
minisat+_1.0.orig.tar.gz 799902011-Nov-12 18:20
minisat+_1.0-5build1_s390x.deb 1890922026-Jan-27 06:40
minisat+_1.0-5build1_riscv64.deb 1689722026-Jan-27 06:39
minisat+_1.0-5build1_ppc64el.deb 1766962026-Jan-27 06:39
minisat+_1.0-5build1_armhf.deb 1442522026-Jan-27 06:38
minisat+_1.0-5build1_arm64.deb 1619342026-Jan-27 06:37
minisat+_1.0-5build1.dsc 19782026-Jan-27 06:34
minisat+_1.0-5build1.debian.tar.xz 45322026-Jan-27 06:34
minisat+_1.0-5_s390x.deb 1937722024-Nov-01 06:34
minisat+_1.0-5_riscv64.deb 1676562024-Nov-01 21:36
minisat+_1.0-5_ppc64el.deb 1730142024-Nov-01 10:09
minisat+_1.0-5_armhf.deb 1475582024-Nov-01 06:20
minisat+_1.0-5_arm64.deb 1571442024-Nov-01 06:11
minisat+_1.0-5.dsc 19792024-Nov-01 04:11
minisat+_1.0-5.debian.tar.xz 44482024-Nov-01 04:11
minisat+_1.0-4build1_s390x.deb 1587802020-Mar-23 05:31
minisat+_1.0-4build1_riscv64.deb 1403202020-Apr-03 19:14
minisat+_1.0-4build1_ppc64el.deb 1499042020-Mar-23 06:18
minisat+_1.0-4build1_armhf.deb 1197042020-Mar-23 05:56
minisat+_1.0-4build1_arm64.deb 1265442020-Mar-23 05:56
minisat+_1.0-4build1.dsc 20332020-Mar-23 02:10
minisat+_1.0-4build1.debian.tar.xz 42522020-Mar-23 02:10
minisat+_1.0-4_s390x.deb 1497022017-Apr-30 10:32
minisat+_1.0-4_ppc64el.deb 1496042017-Apr-30 10:30
minisat+_1.0-4_armhf.deb 1252662017-Apr-30 11:37
minisat+_1.0-4_arm64.deb 1347862017-Apr-30 11:36
minisat+_1.0-4.dsc 19842017-Apr-30 08:58
minisat+_1.0-4.debian.tar.xz 41762017-Apr-30 08:58
minisat+_1.0-2_s390x.deb 1504902015-Dec-05 10:47
minisat+_1.0-2_ppc64el.deb 1508042014-Feb-19 19:28
minisat+_1.0-2_powerpc.deb 1734062011-Nov-13 16:03
minisat+_1.0-2_armhf.deb 1441902011-Dec-07 22:04
minisat+_1.0-2_arm64.deb 1761122013-Oct-20 15:28
minisat+_1.0-2.dsc 12622011-Nov-12 18:20
minisat+_1.0-2.debian.tar.gz 39662011-Nov-12 18:20