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

NameLast ModifiedSizeType
../ -  Directory
minisat2_2.2.1-5+b3_amd64.deb2017-Mar-07 12:27:085.1Kapplication/octet-stream
minisat2_2.2.1-5+b3_i386.deb2017-Mar-07 12:27:155.1Kapplication/octet-stream
minisat2_2.2.1-5.debian.tar.xz2014-Jul-30 12:01:449.1Kapplication/octet-stream
minisat2_2.2.1-5.dsc2014-Jul-30 12:01:441.8Kapplication/octet-stream
minisat2_2.2.1-8.debian.tar.xz2024-Feb-26 18:03:039.6Kapplication/octet-stream
minisat2_2.2.1-8.dsc2024-Feb-26 18:03:031.7Kapplication/octet-stream
minisat2_2.2.1.orig.tar.gz2011-Mar-29 16:07:5943.1Kapplication/octet-stream
minisat_2.2.1-5+b3_amd64.deb2017-Mar-07 12:27:0882.9Kapplication/octet-stream
minisat_2.2.1-5+b3_i386.deb2017-Mar-07 12:27:1591.2Kapplication/octet-stream
minisat_2.2.1-8_amd64.deb2024-Feb-26 18:23:2381.1Kapplication/octet-stream
minisat_2.2.1-8_i386.deb2024-Feb-26 18:23:2790.2Kapplication/octet-stream
minisat_2.2.1-8_riscv64.deb2024-Feb-26 20:39:30147.3Kapplication/octet-stream
mirror.hr.nl hosted by HR Hogeschool Rotterdam / Rotterdam University of Applied Sciences