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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
minisat_2.2.1-8_riscv64.deb 1509162024-Feb-26 19:39
minisat_2.2.1-5+b3_i386.deb 933862017-Mar-07 11:27
minisat_2.2.1-8_i386.deb 923842024-Feb-26 17:23
minisat_2.2.1-5+b3_mipsel.deb 911102017-Mar-07 12:44
minisat_2.2.1-5+b3_mips64el.deb 909182017-Mar-07 12:13
minisat_2.2.1-8_ppc64el.deb 892242024-Feb-26 17:23
minisat_2.2.1-5+b3_ppc64el.deb 884962017-Mar-07 11:27
minisat_2.2.1-8_mips64el.deb 878642024-Feb-26 18:29
minisat_2.2.1-8_s390x.deb 853442024-Feb-26 17:18
minisat_2.2.1-5+b3_amd64.deb 849042017-Mar-07 11:27
minisat_2.2.1-8_arm64.deb 839802024-Feb-26 17:23
minisat_2.2.1-5+b3_s390x.deb 832182017-Mar-07 11:27
minisat_2.2.1-8_amd64.deb 831082024-Feb-26 17:23
minisat_2.2.1-5+b3_arm64.deb 819342017-Mar-07 11:11
minisat_2.2.1-5+b3_armel.deb 791242017-Mar-07 12:13
minisat_2.2.1-5+b3_armhf.deb 778162017-Mar-07 11:57
minisat_2.2.1-8_armel.deb 775962024-Feb-26 17:23
minisat_2.2.1-8_armhf.deb 763122024-Feb-26 17:23
minisat2_2.2.1.orig.tar.gz 442292011-Mar-29 14:07
minisat2_2.2.1-8.debian.tar.xz 98642024-Feb-26 17:03
minisat2_2.2.1-5.debian.tar.xz 93482014-Jul-30 10:01
minisat2_2.2.1-5+b3_ppc64el.deb 52642017-Mar-07 11:27
minisat2_2.2.1-5+b3_mips64el.deb 52602017-Mar-07 12:13
minisat2_2.2.1-5+b3_amd64.deb 52582017-Mar-07 11:27
minisat2_2.2.1-5+b3_i386.deb 52582017-Mar-07 11:27
minisat2_2.2.1-5+b3_armhf.deb 52542017-Mar-07 11:57
minisat2_2.2.1-5+b3_mipsel.deb 52522017-Mar-07 12:44
minisat2_2.2.1-5+b3_arm64.deb 52502017-Mar-07 11:11
minisat2_2.2.1-5+b3_s390x.deb 52462017-Mar-07 11:27
minisat2_2.2.1-5+b3_armel.deb 52442017-Mar-07 12:13
minisat2_2.2.1-5.dsc 18932014-Jul-30 10:01
minisat2_2.2.1-8.dsc 17292024-Feb-26 17:03
This server can also be reached on the Tor network at
lysator7eknrfl47rlyxvgeamrv7ucefgrrlhk7rouv3sna25asetwid.onion
Information:
Data handling policy
The mirror administration can be reached at ftp-master (at) lysator.liu.se