注册用户享1倍加速下载立即注册

/mirrors_os/debian/pool/main/m/minisat+/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
minisat+_1.0-4_i386.deb	156.3 KiB	2017-Feb-23 05:12
minisat+_1.0-4_amd64.deb	154.7 KiB	2017-Feb-23 05:12
minisat+_1.0-4_ppc64el.deb	145.0 KiB	2017-Feb-23 05:12
minisat+_1.0-4_mips64el.deb	144.4 KiB	2017-Feb-23 05:28
minisat+_1.0-4_s390x.deb	143.3 KiB	2017-Feb-23 05:12
minisat+_1.0-4+b1_riscv64.deb	143.3 KiB	2024-Feb-11 21:30
minisat+_1.0-4_mipsel.deb	141.3 KiB	2017-Feb-23 05:43
minisat+_1.0-4_arm64.deb	130.8 KiB	2017-Feb-23 05:12
minisat+_1.0-4_armhf.deb	130.6 KiB	2017-Feb-23 05:12
minisat+_1.0-4_armel.deb	126.9 KiB	2017-Feb-23 05:12
minisat+_1.0.orig.tar.gz	78.1 KiB	2011-May-14 20:02
minisat+_1.0-4.debian.tar.xz	4.1 KiB	2017-Feb-23 04:22
minisat+_1.0-4.dsc	1.9 KiB	2017-Feb-23 04:22