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