Index of /mirror/deepin/pool/main/m/minisat2/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
minisat2_2.2.1-5+b3_amd64.deb2022-Apr-11 11:29:045.1Kapplication/vnd.debian.binary-package
minisat2_2.2.1-5+b3_i386.deb2022-Apr-11 11:16:455.1Kapplication/vnd.debian.binary-package
minisat2_2.2.1-5.debian.tar.xz2022-Apr-11 11:22:179.1Kapplication/x-xz
minisat2_2.2.1-5.dsc2022-Apr-11 11:22:171.8Kapplication/octet-stream
minisat2_2.2.1.orig.tar.gz2022-Apr-11 11:22:1743.1Kapplication/gzip
minisat_2.2.1-5+b3_amd64.deb2022-Apr-11 11:37:2582.9Kapplication/vnd.debian.binary-package
minisat_2.2.1-5+b3_i386.deb2022-Apr-11 11:10:5091.2Kapplication/vnd.debian.binary-package
lighttpd/1.4.35