/mirror/kali/pool/main/m/minisat+/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
minisat+_1.0.orig.tar.gz78.1 KiB2011-May-14 12:02
minisat+_1.0-4.debian.tar.xz4.1 KiB2017-Feb-22 20:22
minisat+_1.0-4.dsc1.9 KiB2017-Feb-22 20:22
minisat+_1.0-4_armel.deb126.9 KiB2017-Feb-22 21:12
minisat+_1.0-4_amd64.deb154.7 KiB2017-Feb-22 21:12
minisat+_1.0-4_i386.deb156.3 KiB2017-Feb-22 21:12
minisat+_1.0-4_arm64.deb130.8 KiB2017-Feb-22 21:12
minisat+_1.0-4_armhf.deb130.6 KiB2017-Feb-22 21:12
Mirror operated by University of Calgary Department of Computer Science
Send questions and comments to cpsc.uls@ucalgary.ca