Unix-Solutions Logo

mirror.unix-solutions.be

hosted by Unix-Solutions

services: http, https, rsync


Index of /debian/pool/main/m/minisat2

File Last Modified Size
📂 Parent Directory
📄 minisat2_2.2.1-5+b3_amd64.deb2017-03-07 11:27:085.13 KB
📄 minisat2_2.2.1-5+b3_arm64.deb2017-03-07 11:11:595.13 KB
📄 minisat2_2.2.1-5+b3_armel.deb2017-03-07 12:13:225.12 KB
📄 minisat2_2.2.1-5+b3_armhf.deb2017-03-07 11:57:575.13 KB
📄 minisat2_2.2.1-5+b3_i386.deb2017-03-07 11:27:155.13 KB
📄 minisat2_2.2.1-5+b3_mips64el.deb2017-03-07 12:13:205.14 KB
📄 minisat2_2.2.1-5+b3_mipsel.deb2017-03-07 12:44:185.13 KB
📄 minisat2_2.2.1-5+b3_ppc64el.deb2017-03-07 11:27:165.14 KB
📄 minisat2_2.2.1-5+b3_s390x.deb2017-03-07 11:27:115.12 KB
📄 minisat2_2.2.1-5.debian.tar.xz2014-07-30 10:01:449.13 KB
📄 minisat2_2.2.1-5.dsc2014-07-30 10:01:441.85 KB
📄 minisat2_2.2.1-8.debian.tar.xz2024-02-26 17:03:039.63 KB
📄 minisat2_2.2.1-8.dsc2024-02-26 17:03:031.69 KB
📄 minisat2_2.2.1.orig.tar.gz2011-03-29 14:07:5943.19 KB
📄 minisat_2.2.1-5+b3_amd64.deb2017-03-07 11:27:0882.91 KB
📄 minisat_2.2.1-5+b3_arm64.deb2017-03-07 11:11:5980.01 KB
📄 minisat_2.2.1-5+b3_armel.deb2017-03-07 12:13:2277.27 KB
📄 minisat_2.2.1-5+b3_armhf.deb2017-03-07 11:57:5775.99 KB
📄 minisat_2.2.1-5+b3_i386.deb2017-03-07 11:27:1591.2 KB
📄 minisat_2.2.1-5+b3_mips64el.deb2017-03-07 12:13:2088.79 KB
📄 minisat_2.2.1-5+b3_mipsel.deb2017-03-07 12:44:1888.97 KB
📄 minisat_2.2.1-5+b3_ppc64el.deb2017-03-07 11:27:1686.42 KB
📄 minisat_2.2.1-5+b3_s390x.deb2017-03-07 11:27:1181.27 KB
📄 minisat_2.2.1-8+b1_arm64.deb2024-11-01 20:51:3082.61 KB
📄 minisat_2.2.1-8_amd64.deb2024-02-26 17:23:2381.16 KB
📄 minisat_2.2.1-8_armel.deb2024-02-26 17:23:2775.78 KB
📄 minisat_2.2.1-8_armhf.deb2024-02-26 17:23:2774.52 KB
📄 minisat_2.2.1-8_i386.deb2024-02-26 17:23:2790.22 KB
📄 minisat_2.2.1-8_mips64el.deb2024-02-26 18:29:0585.8 KB
📄 minisat_2.2.1-8_ppc64el.deb2024-02-26 17:23:2887.13 KB
📄 minisat_2.2.1-8_riscv64.deb2024-02-26 19:39:30147.38 KB
📄 minisat_2.2.1-8_s390x.deb2024-02-26 17:18:2383.34 KB