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