Index of /pool/universe/m/minisat+/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
minisat+_1.0-2.dsc 12622011-Nov-12 09:20
minisat+_1.0-5build1.dsc 19782026-Jan-26 21:34
minisat+_1.0-5.dsc 19792024-Oct-31 19:11
minisat+_1.0-4.dsc 19842017-Apr-29 23:58
minisat+_1.0-4build1.dsc 20332020-Mar-22 17:10
minisat+_1.0-2.debian.tar.gz 39662011-Nov-12 09:20
minisat+_1.0-4.debian.tar.xz 41762017-Apr-29 23:58
minisat+_1.0-4build1.debian.tar.xz 42522020-Mar-22 17:10
minisat+_1.0-5.debian.tar.xz 44482024-Oct-31 19:11
minisat+_1.0-5build1.debian.tar.xz 45322026-Jan-26 21:34
minisat+_1.0.orig.tar.gz 799902011-Nov-12 09:20
minisat+_1.0-4build1_amd64.deb 1420042020-Mar-22 17:50
minisat+_1.0-4_i386.deb 1493542017-Apr-30 01:29
minisat+_1.0-4_amd64.deb 1586462017-Apr-30 01:25
minisat+_1.0-5_amd64.deb 1608222024-Oct-31 20:59
minisat+_1.0-5build1_amd64.deb 1623162026-Jan-26 21:36
minisat+_1.0-5build1_amd64v3.deb 1623482026-Jan-26 21:37
minisat+_1.0-2_i386.deb 1721242011-Nov-12 12:16
minisat+_1.0-2_amd64.deb 1805382011-Nov-12 12:12