Index of /argostmp/pool/main/m/minisat+/

../
minisat+-dbgsym_1.0-5_arm64.deb                    26-Feb-2025 07:47              856148
minisat+-dbgsym_1.0-5_armel.deb                    07-Mar-2025 15:06              810008
minisat+-dbgsym_1.0-5_armhf.deb                    08-Mar-2025 08:13              818388
minisat+-dbgsym_1.0-5_hurd-i386.deb                12-Mar-2025 15:54              803664
minisat+-dbgsym_1.0-5_i386.deb                     28-Feb-2025 09:46              806140
minisat+-dbgsym_1.0-5_ppc64el.deb                  10-Mar-2025 03:08              882528
minisat+-dbgsym_1.0-5_riscv64.deb                  09-Mar-2025 12:08              726332
minisat+-dbgsym_1.0-5_x32.deb                      06-Mar-2025 17:45              820440
minisat+_1.0-5.debian.tar.xz                       09-Oct-2024 21:34                4448
minisat+_1.0-5.dsc                                 09-Oct-2024 21:34                1979
minisat+_1.0-5_arm64.deb                           26-Feb-2025 07:47              131884
minisat+_1.0-5_armel.deb                           07-Mar-2025 15:06              121052
minisat+_1.0-5_armhf.deb                           08-Mar-2025 08:13              125916
minisat+_1.0-5_hurd-i386.deb                       12-Mar-2025 15:54              148556
minisat+_1.0-5_i386.deb                            28-Feb-2025 09:46              147940
minisat+_1.0-5_ppc64el.deb                         10-Mar-2025 03:08              152720
minisat+_1.0-5_riscv64.deb                         09-Mar-2025 12:08              148808
minisat+_1.0-5_x32.deb                             06-Mar-2025 17:45              140296
minisat+_1.0.orig.tar.gz                           14-May-2011 12:02               79990