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