/ubuntu/pool/universe/m/minisat+/

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