Index of /parrot/pool/main/m/minisat2/

../
minisat2_2.2.1-5+b3_amd64.deb                      07-Mar-2017 11:27                5258
minisat2_2.2.1-8.debian.tar.xz                     08-Aug-2026 04:02                9864
minisat2_2.2.1-8.dsc                               08-Aug-2026 04:02                1729
minisat2_2.2.1.orig.tar.gz                         29-Mar-2011 14:07               44229
minisat_2.2.1-5+b3_amd64.deb                       07-Mar-2017 11:27               84904
minisat_2.2.1-8+b2_arm64.deb                       08-Aug-2026 04:02               84768
minisat_2.2.1-8_amd64.deb                          08-Aug-2026 04:02               83108
minisat_2.2.1-8_armhf.deb                          08-Aug-2026 04:02               76312
minisat_2.2.1-8_riscv64.deb                        08-Aug-2026 04:02              150916