File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
minisat+_1.0-2.dsc1.2 KiB2011-Nov-12 10:20
minisat+_1.0-5.dsc1.9 KiB2024-Oct-31 20:11
minisat+_1.0-4.dsc1.9 KiB2017-Apr-30 00:58
minisat+_1.0-4build1.dsc2.0 KiB2020-Mar-22 18:10
minisat+_1.0-2.debian.tar.gz3.9 KiB2011-Nov-12 10:20
minisat+_1.0-4.debian.tar.xz4.1 KiB2017-Apr-30 00:58
minisat+_1.0-4build1.debian.tar.xz4.2 KiB2020-Mar-22 18:10
minisat+_1.0-5.debian.tar.xz4.3 KiB2024-Oct-31 20:11
minisat+_1.0.orig.tar.gz78.1 KiB2011-Nov-12 10:20
minisat+_1.0-4build1_amd64.deb138.7 KiB2020-Mar-22 18:50
minisat+_1.0-4_i386.deb145.9 KiB2017-Apr-30 02:29
minisat+_1.0-4_amd64.deb154.9 KiB2017-Apr-30 02:25
minisat+_1.0-5_amd64.deb157.1 KiB2024-Oct-31 21:59
minisat+_1.0-2_i386.deb168.1 KiB2011-Nov-12 13:16
minisat+_1.0-2_amd64.deb176.3 KiB2011-Nov-12 13:12