Index of /macports/packages/minisat/

../
minisat-2.2.0_1.darwin_11.x86_64.tbz2              15-Nov-2019 20:48     45K
minisat-2.2.0_1.darwin_11.x86_64.tbz2.rmd160       15-Nov-2019 20:48     512
minisat-2.2.0_1.darwin_12.x86_64.tbz2              16-Nov-2019 20:56     45K
minisat-2.2.0_1.darwin_12.x86_64.tbz2.rmd160       16-Nov-2019 20:56     512
minisat-2.2.0_1.darwin_13.x86_64.tbz2              21-Sep-2016 07:43     44K
minisat-2.2.0_1.darwin_13.x86_64.tbz2.rmd160       21-Sep-2016 07:43     512
minisat-2.2.0_1.darwin_14.x86_64.tbz2              21-Sep-2016 08:28     45K
minisat-2.2.0_1.darwin_14.x86_64.tbz2.rmd160       21-Sep-2016 08:28     512
minisat-2.2.0_1.darwin_15.x86_64.tbz2              21-Sep-2016 08:52     44K
minisat-2.2.0_1.darwin_15.x86_64.tbz2.rmd160       21-Sep-2016 08:52     512
minisat-2.2.0_1.darwin_16.x86_64.tbz2              21-Sep-2016 08:35     44K
minisat-2.2.0_1.darwin_16.x86_64.tbz2.rmd160       21-Sep-2016 08:35     512
minisat-2.2.0_1.darwin_17.x86_64.tbz2              21-Oct-2018 08:29     45K
minisat-2.2.0_1.darwin_17.x86_64.tbz2.rmd160       21-Oct-2018 08:29     512
minisat-2.2.0_1.darwin_18.x86_64.tbz2              21-Oct-2018 16:10     47K
minisat-2.2.0_1.darwin_18.x86_64.tbz2.rmd160       21-Oct-2018 16:10     512
minisat-2.2.0_1.darwin_19.x86_64.tbz2              30-Dec-2019 01:12     45K
minisat-2.2.0_1.darwin_19.x86_64.tbz2.rmd160       30-Dec-2019 01:12     512
minisat-2.2.0_1.darwin_20.arm64.tbz2               02-Jan-2021 18:09     42K
minisat-2.2.0_1.darwin_20.arm64.tbz2.rmd160        02-Jan-2021 18:09     512
minisat-2.2.0_1.darwin_20.x86_64.tbz2              02-Jan-2021 22:49     45K
minisat-2.2.0_1.darwin_20.x86_64.tbz2.rmd160       02-Jan-2021 22:49     512
minisat-2.2.0_1.darwin_21.arm64.tbz2               23-Nov-2021 19:43     41K
minisat-2.2.0_1.darwin_21.arm64.tbz2.rmd160        23-Nov-2021 19:43     512
minisat-2.2.0_1.darwin_21.x86_64.tbz2              12-Jan-2022 15:47     44K
minisat-2.2.0_1.darwin_21.x86_64.tbz2.rmd160       12-Jan-2022 15:47     512
minisat-2.2.0_1.darwin_22.arm64.tbz2               06-Mar-2023 19:12     42K
minisat-2.2.0_1.darwin_22.arm64.tbz2.rmd160        06-Mar-2023 19:12     512
minisat-2.2.0_1.darwin_22.x86_64.tbz2              25-Dec-2022 12:51     44K
minisat-2.2.0_1.darwin_22.x86_64.tbz2.rmd160       25-Dec-2022 12:51     512
minisat-2.2.0_1.darwin_23.arm64.tbz2               22-Jan-2024 15:16     42K
minisat-2.2.0_1.darwin_23.arm64.tbz2.rmd160        22-Jan-2024 15:16     512
minisat-2.2.0_1.darwin_23.x86_64.tbz2              24-Dec-2023 06:27     45K
minisat-2.2.0_1.darwin_23.x86_64.tbz2.rmd160       24-Dec-2023 06:27     512
minisat-2.2.0_1.darwin_24.arm64.tbz2               16-Mar-2025 04:09     43K
minisat-2.2.0_1.darwin_24.arm64.tbz2.rmd160        16-Mar-2025 04:09     512
minisat-2.2.0_1.darwin_24.x86_64.tbz2              08-Oct-2024 05:58     44K
minisat-2.2.0_1.darwin_24.x86_64.tbz2.rmd160       08-Oct-2024 05:58     512
minisat-2.2.0_1.darwin_9.ppc.tbz2                  02-Oct-2016 03:27     45K
minisat-2.2.0_1.darwin_9.ppc.tbz2.rmd160           02-Oct-2016 03:27     512