../ minisat+_1.0-4.debian.tar.xz 21-Jun-2017 15:16 4176 minisat+_1.0-4.dsc 21-Jun-2017 15:16 1984 minisat+_1.0-4_amd64.deb 22-Jun-2017 09:42 155K minisat+_1.0-4_arm64.deb 06-Mar-2018 18:47 131K minisat+_1.0-5.debian.tar.xz 12-Oct-2024 04:06 4448 minisat+_1.0-5.dsc 12-Oct-2024 04:06 1979 minisat+_1.0-5_amd64.deb 12-Oct-2024 04:11 146K minisat+_1.0-5_arm64.deb 12-Oct-2024 04:11 130K minisat+_1.0.orig.tar.gz 12-Sep-2016 16:36 78K