Index of /pub/os/linux/ubuntu/pool/universe/m/minisat+/

Filename	Modification time	Size
minisat+_1.0-2.debian.tar.gz	2011-11-12 10:20 CET	3966 B
minisat+_1.0-2.dsc	2011-11-12 10:20 CET	1262 B
minisat+_1.0-2_amd64.deb	2011-11-12 13:12 CET	176 KiB
minisat+_1.0-2_i386.deb	2011-11-12 13:16 CET	168 KiB
minisat+_1.0-4.debian.tar.xz	2017-04-30 01:58 CEST	4176 B
minisat+_1.0-4.dsc	2017-04-30 01:58 CEST	1984 B
minisat+_1.0-4_amd64.deb	2017-04-30 03:25 CEST	155 KiB
minisat+_1.0-4_i386.deb	2017-04-30 03:29 CEST	146 KiB
minisat+_1.0-4build1.debian.tar.xz	2020-03-22 18:10 CET	4252 B
minisat+_1.0-4build1.dsc	2020-03-22 18:10 CET	2033 B
minisat+_1.0-4build1_amd64.deb	2020-03-22 18:50 CET	139 KiB
minisat+_1.0-5.debian.tar.xz	2024-10-31 20:11 CET	4448 B
minisat+_1.0-5.dsc	2024-10-31 20:11 CET	1979 B
minisat+_1.0-5_amd64.deb	2024-10-31 21:59 CET	157 KiB
minisat+_1.0.orig.tar.gz	2011-11-12 10:20 CET	78 KiB