Index of /mirror/linuxdeepin/packages/apricot/pool/main/m/minisat2

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[DEB]minisat2_2.2.1-5+b3_amd64.deb2022-04-11 05:29 5.1K
[DEB]minisat2_2.2.1-5+b3_i386.deb2022-04-11 05:16 5.1K
[ARC]minisat2_2.2.1-5.debian.tar.xz2022-04-11 05:22 9.1K
[TXT]minisat2_2.2.1-5.dsc2022-04-11 05:22 1.8K
[ARC]minisat2_2.2.1.orig.tar.gz2022-04-11 05:22 43K
[DEB]minisat_2.2.1-5+b3_amd64.deb2022-04-11 05:37 83K
[DEB]minisat_2.2.1-5+b3_i386.deb2022-04-11 05:10 91K

Apache/2.4.58 (Unix) Server at ftp.sunet.se Port 443