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

../
minisat+_1.0-2_amd64.deb                           25-May-2011 01:50    176K
minisat+_1.0-2_arm64.deb                           18-Aug-2014 09:43    131K
minisat+_1.0-2_armhf.deb                           28-Nov-2011 00:21    142K
minisat+_1.0-2_i386.deb                            25-May-2011 07:49    170K
minisat+_1.0-3_amd64.deb                           19-Dec-2016 19:58    155K
minisat+_1.0-3_arm64.deb                           19-Dec-2016 19:58    131K
minisat+_1.0-3_armhf.deb                           19-Dec-2016 19:58    130K
minisat+_1.0-3_i386.deb                            19-Dec-2016 19:58    156K
minisat+_1.0-4_amd64.deb                           22-Feb-2017 21:12    155K
minisat+_1.0-4_arm64.deb                           22-Feb-2017 21:12    131K
minisat+_1.0-4_armhf.deb                           22-Feb-2017 21:12    131K
minisat+_1.0-4_i386.deb                            22-Feb-2017 21:12    156K
minisat+_1.0-5_amd64.deb                           10-Oct-2024 00:45    146K
minisat+_1.0-5_arm64.deb                           10-Oct-2024 00:29    130K
minisat+_1.0-5_armhf.deb                           10-Oct-2024 00:29    126K
minisat+_1.0-5_i386.deb                            10-Oct-2024 00:40    145K