/debian/pool/main/m/minisat2/

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
minisat2_2.2.1-5+b3_amd64.deb	5.1 KiB	2017-Mar-07 11:27
minisat2_2.2.1-5+b3_i386.deb	5.1 KiB	2017-Mar-07 11:27
minisat2_2.2.1-5.debian.tar.xz	9.1 KiB	2014-Jul-30 10:01
minisat2_2.2.1-5.dsc	1.8 KiB	2014-Jul-30 10:01
minisat2_2.2.1-8.debian.tar.xz	9.6 KiB	2024-Feb-26 17:03
minisat2_2.2.1-8.dsc	1.7 KiB	2024-Feb-26 17:03
minisat2_2.2.1.orig.tar.gz	43.2 KiB	2011-Mar-29 14:07
minisat_2.2.1-5+b3_amd64.deb	82.9 KiB	2017-Mar-07 11:27
minisat_2.2.1-5+b3_i386.deb	91.2 KiB	2017-Mar-07 11:27
minisat_2.2.1-8_amd64.deb	81.2 KiB	2024-Feb-26 17:23
minisat_2.2.1-8_i386.deb	90.2 KiB	2024-Feb-26 17:23