MIRRORS.ASNET.AM
Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /debian/pool/main/m/minisat+/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
minisat+_1.0.orig.tar.gz
78K
14-May-2011 16:02
minisat+_1.0-4.debian.tar.xz
4176
23-Feb-2017 00:22
minisat+_1.0-4.dsc
1984
23-Feb-2017 00:22
minisat+_1.0-4_armel.deb
127K
23-Feb-2017 01:12
minisat+_1.0-4_amd64.deb
155K
23-Feb-2017 01:12
minisat+_1.0-4_ppc64el.deb
145K
23-Feb-2017 01:12
minisat+_1.0-4_i386.deb
156K
23-Feb-2017 01:12
minisat+_1.0-4_s390x.deb
143K
23-Feb-2017 01:12
minisat+_1.0-4_arm64.deb
131K
23-Feb-2017 01:12
minisat+_1.0-4_armhf.deb
131K
23-Feb-2017 01:12
minisat+_1.0-4_mips64el.deb
144K
23-Feb-2017 01:28
minisat+_1.0-4_mipsel.deb
141K
23-Feb-2017 01:43
minisat+_1.0-5.debian.tar.xz
4448
10-Oct-2024 01:34
minisat+_1.0-5.dsc
1979
10-Oct-2024 01:34
minisat+_1.0-5_armhf.deb
126K
10-Oct-2024 04:29
minisat+_1.0-5_ppc64el.deb
149K
10-Oct-2024 04:29
minisat+_1.0-5_arm64.deb
130K
10-Oct-2024 04:29
minisat+_1.0-5_i386.deb
145K
10-Oct-2024 04:40
minisat+_1.0-5_armel.deb
122K
10-Oct-2024 04:45
minisat+_1.0-5_amd64.deb
146K
10-Oct-2024 04:45
minisat+_1.0-5_s390x.deb
164K
10-Oct-2024 04:45
minisat+_1.0-5_riscv64.deb
148K
10-Oct-2024 05:20
minisat+_1.0-5_mips64el.deb
140K
10-Oct-2024 05:52