Unix-Solutions Logo

mirror.unix-solutions.be

hosted by Unix-Solutions

services: http, https, rsync


Index of /debian/pool/main/m/minisat+

File Last Modified Size
📂 Parent Directory
📄 minisat+_1.0-4.debian.tar.xz2017-02-22 20:22:464.08 KB
📄 minisat+_1.0-4.dsc2017-02-22 20:22:461.94 KB
📄 minisat+_1.0-4_amd64.deb2017-02-22 21:12:54154.66 KB
📄 minisat+_1.0-4_arm64.deb2017-02-22 21:12:56130.78 KB
📄 minisat+_1.0-4_armel.deb2017-02-22 21:12:53126.88 KB
📄 minisat+_1.0-4_armhf.deb2017-02-22 21:12:56130.6 KB
📄 minisat+_1.0-4_i386.deb2017-02-22 21:12:55156.32 KB
📄 minisat+_1.0-4_mips64el.deb2017-02-22 21:28:00144.42 KB
📄 minisat+_1.0-4_mipsel.deb2017-02-22 21:43:03141.33 KB
📄 minisat+_1.0-4_ppc64el.deb2017-02-22 21:12:54145.01 KB
📄 minisat+_1.0-4_s390x.deb2017-02-22 21:12:55143.26 KB
📄 minisat+_1.0-5.debian.tar.xz2024-10-09 21:34:304.34 KB
📄 minisat+_1.0-5.dsc2024-10-09 21:34:301.93 KB
📄 minisat+_1.0-5_amd64.deb2024-10-10 00:45:10145.78 KB
📄 minisat+_1.0-5_arm64.deb2024-10-10 00:29:46130.02 KB
📄 minisat+_1.0-5_armel.deb2024-10-10 00:45:06122.32 KB
📄 minisat+_1.0-5_armhf.deb2024-10-10 00:29:44126.21 KB
📄 minisat+_1.0-5_i386.deb2024-10-10 00:40:03144.5 KB
📄 minisat+_1.0-5_mips64el.deb2024-10-10 01:52:12139.72 KB
📄 minisat+_1.0-5_ppc64el.deb2024-10-10 00:29:45149.45 KB
📄 minisat+_1.0-5_riscv64.deb2024-10-10 01:20:59147.75 KB
📄 minisat+_1.0-5_s390x.deb2024-10-10 00:45:18163.67 KB
📄 minisat+_1.0.orig.tar.gz2011-05-14 12:02:2478.12 KB