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


../
minisat+_1.0-4.debian.tar.xz                       26-Sep-2025 12:53    4176
minisat+_1.0-4.dsc                                 26-Sep-2025 12:53    1984
minisat+_1.0-4_amd64.deb                           26-Sep-2025 12:53    155K
minisat+_1.0-4_i386.deb                            26-Sep-2025 12:53    156K
minisat+_1.0-5.debian.tar.xz                       27-Sep-2025 03:03    4448
minisat+_1.0-5.dsc                                 27-Sep-2025 03:03    1979
minisat+_1.0-5_amd64.deb                           27-Sep-2025 03:03    146K
minisat+_1.0-5_i386.deb                            27-Sep-2025 03:03    145K
minisat+_1.0.orig.tar.gz                           26-Sep-2025 12:53     78K