Index of /ubuntu-ports/pool/universe/m/minisat2/

../
minisat2_2.2.1-5build2.debian.tar.xz               31-Aug-2023 00:30                9528
minisat2_2.2.1-5build2.dsc                         31-Aug-2023 00:30                1978
minisat2_2.2.1-5build2_arm64.deb                   31-Aug-2023 00:30                2032
minisat2_2.2.1-8build1.debian.tar.xz               04-Apr-2024 00:17                9976
minisat2_2.2.1-8build1.dsc                         04-Apr-2024 00:17                1811
minisat2_2.2.1.orig.tar.gz                         31-Aug-2023 00:30               44229
minisat_2.2.1-5build2_arm64.deb                    31-Aug-2023 00:30               79060
minisat_2.2.1-8build1_arm64.deb                    04-Apr-2024 00:17               92006