Index of /deepin/beige/pool/community/m/minisat2/
../
minisat-dbgsym_2.2.1-5_amd64.deb 20-Oct-2022 14:55 224K
minisat-dbgsym_2.2.1-5_arm64.deb 20-Oct-2022 14:55 221K
minisat2_2.2.1-5.debian.tar.xz 20-Oct-2022 15:22 9348
minisat2_2.2.1-5.dsc 20-Oct-2022 15:22 1893
minisat2_2.2.1-5_amd64.deb 20-Oct-2022 14:55 5068
minisat2_2.2.1-5_arm64.deb 20-Oct-2022 14:55 5068
minisat2_2.2.1.orig.tar.gz 20-Oct-2022 15:22 43K
minisat_2.2.1-5_amd64.deb 20-Oct-2022 14:55 82K
minisat_2.2.1-5_arm64.deb 20-Oct-2022 14:55 81K