Index of /pub/os/linux/deepin/apricot/pool/main/m/minisat+/

Filename	Modification time	Size
minisat+_1.0-4.debian.tar.xz	2022-04-11 05:00 CEST	4176 B
minisat+_1.0-4.dsc	2022-04-11 05:00 CEST	1984 B
minisat+_1.0-4_amd64.deb	2022-04-11 05:01 CEST	155 KiB
minisat+_1.0-4_i386.deb	2022-04-11 04:57 CEST	156 KiB
minisat+_1.0.orig.tar.gz	2022-04-11 05:00 CEST	78 KiB