Index of /pub/linux/deepin/pool/main/m/minisat2/

Filename	Modification time	Size
minisat2_2.2.1-5+b3_amd64.deb	2022-04-11 05:29 CEST	5258 B
minisat2_2.2.1-5+b3_i386.deb	2022-04-11 05:16 CEST	5258 B
minisat2_2.2.1-5.debian.tar.xz	2022-04-11 05:22 CEST	9348 B
minisat2_2.2.1-5.dsc	2022-04-11 05:22 CEST	1893 B
minisat2_2.2.1.orig.tar.gz	2022-04-11 05:22 CEST	43 KiB
minisat_2.2.1-5+b3_amd64.deb	2022-04-11 05:37 CEST	83 KiB
minisat_2.2.1-5+b3_i386.deb	2022-04-11 05:10 CEST	91 KiB