注册用户享1倍加速下载 立即注册
/mirrors_os/ubuntu/pool/universe/m/minisat+/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
minisat+_1.0-2.debian.tar.gz3.9 KiB2011-Nov-12 17:20
minisat+_1.0-2.dsc1.2 KiB2011-Nov-12 17:20
minisat+_1.0-2_amd64.deb176.3 KiB2011-Nov-12 20:12
minisat+_1.0-2_i386.deb168.1 KiB2011-Nov-12 20:16
minisat+_1.0-4.debian.tar.xz4.1 KiB2017-Apr-30 07:58
minisat+_1.0-4.dsc1.9 KiB2017-Apr-30 07:58
minisat+_1.0-4_amd64.deb154.9 KiB2017-Apr-30 09:25
minisat+_1.0-4_i386.deb145.9 KiB2017-Apr-30 09:29
minisat+_1.0-4build1.debian.tar.xz4.2 KiB2020-Mar-23 01:10
minisat+_1.0-4build1.dsc2.0 KiB2020-Mar-23 01:10
minisat+_1.0-4build1_amd64.deb138.7 KiB2020-Mar-23 01:50
minisat+_1.0.orig.tar.gz78.1 KiB2011-Nov-12 17:20