Filename Modification time Size minisat2_2.2.1-5+b3_amd64.deb 2017-03-07 12:27 CET 5258 B minisat2_2.2.1-5+b3_arm64.deb 2017-03-07 12:11 CET 5250 B minisat2_2.2.1-5+b3_armel.deb 2017-03-07 13:13 CET 5244 B minisat2_2.2.1-5+b3_armhf.deb 2017-03-07 12:57 CET 5254 B minisat2_2.2.1-5+b3_i386.deb 2017-03-07 12:27 CET 5258 B minisat2_2.2.1-5+b3_mips64el.deb 2017-03-07 13:13 CET 5260 B minisat2_2.2.1-5+b3_mipsel.deb 2017-03-07 13:44 CET 5252 B minisat2_2.2.1-5+b3_ppc64el.deb 2017-03-07 12:27 CET 5264 B minisat2_2.2.1-5+b3_s390x.deb 2017-03-07 12:27 CET 5246 B minisat2_2.2.1-5.debian.tar.xz 2014-07-30 12:01 CEST 9348 B minisat2_2.2.1-5.dsc 2014-07-30 12:01 CEST 1893 B minisat2_2.2.1-8.debian.tar.xz 2024-02-26 18:03 CET 9864 B minisat2_2.2.1-8.dsc 2024-02-26 18:03 CET 1729 B minisat2_2.2.1.orig.tar.gz 2011-03-29 16:07 CEST 43 KiB minisat_2.2.1-5+b3_amd64.deb 2017-03-07 12:27 CET 83 KiB minisat_2.2.1-5+b3_arm64.deb 2017-03-07 12:11 CET 80 KiB minisat_2.2.1-5+b3_armel.deb 2017-03-07 13:13 CET 77 KiB minisat_2.2.1-5+b3_armhf.deb 2017-03-07 12:57 CET 76 KiB minisat_2.2.1-5+b3_i386.deb 2017-03-07 12:27 CET 91 KiB minisat_2.2.1-5+b3_mips64el.deb 2017-03-07 13:13 CET 89 KiB minisat_2.2.1-5+b3_mipsel.deb 2017-03-07 13:44 CET 89 KiB minisat_2.2.1-5+b3_ppc64el.deb 2017-03-07 12:27 CET 86 KiB minisat_2.2.1-5+b3_s390x.deb 2017-03-07 12:27 CET 81 KiB minisat_2.2.1-8_amd64.deb 2024-02-26 18:23 CET 81 KiB minisat_2.2.1-8_arm64.deb 2024-02-26 18:23 CET 82 KiB minisat_2.2.1-8_armel.deb 2024-02-26 18:23 CET 76 KiB minisat_2.2.1-8_armhf.deb 2024-02-26 18:23 CET 75 KiB minisat_2.2.1-8_i386.deb 2024-02-26 18:23 CET 90 KiB minisat_2.2.1-8_mips64el.deb 2024-02-26 19:29 CET 86 KiB minisat_2.2.1-8_ppc64el.deb 2024-02-26 18:23 CET 87 KiB minisat_2.2.1-8_riscv64.deb 2024-02-26 20:39 CET 147 KiB minisat_2.2.1-8_s390x.deb 2024-02-26 18:18 CET 83 KiB
