Index of /macports-packages/minisat/
../
minisat-2.2.0_1.darwin_24.arm64.tbz2 16-Mar-2025 01:09 43748
minisat-2.2.0_1.darwin_24.arm64.tbz2.rmd160 16-Mar-2025 01:09 512
minisat-2.2.0_1.darwin_24.x86_64.tbz2 08-Oct-2024 02:58 45354
minisat-2.2.0_1.darwin_24.x86_64.tbz2.rmd160 08-Oct-2024 02:58 512
minisat-2.2.1_0.darwin_10.i386.tbz2 28-Nov-2025 02:56 92040
minisat-2.2.1_0.darwin_10.i386.tbz2.rmd160 28-Nov-2025 02:56 512
minisat-2.2.1_0.darwin_10.x86_64.tbz2 28-Nov-2025 02:50 90238
minisat-2.2.1_0.darwin_10.x86_64.tbz2.rmd160 28-Nov-2025 02:50 512
minisat-2.2.1_0.darwin_11.x86_64.tbz2 28-Nov-2025 02:55 95369
minisat-2.2.1_0.darwin_11.x86_64.tbz2.rmd160 28-Nov-2025 02:55 512
minisat-2.2.1_0.darwin_12.x86_64.tbz2 28-Nov-2025 02:56 93354
minisat-2.2.1_0.darwin_12.x86_64.tbz2.rmd160 28-Nov-2025 02:56 512
minisat-2.2.1_0.darwin_13.x86_64.tbz2 28-Nov-2025 02:55 92250
minisat-2.2.1_0.darwin_13.x86_64.tbz2.rmd160 28-Nov-2025 02:55 512
minisat-2.2.1_0.darwin_14.x86_64.tbz2 28-Nov-2025 02:51 88869
minisat-2.2.1_0.darwin_14.x86_64.tbz2.rmd160 28-Nov-2025 02:51 512
minisat-2.2.1_0.darwin_15.x86_64.tbz2 28-Nov-2025 03:04 87551
minisat-2.2.1_0.darwin_15.x86_64.tbz2.rmd160 28-Nov-2025 03:04 512
minisat-2.2.1_0.darwin_16.x86_64.tbz2 28-Nov-2025 02:57 88259
minisat-2.2.1_0.darwin_16.x86_64.tbz2.rmd160 28-Nov-2025 02:57 512
minisat-2.2.1_0.darwin_17.x86_64.tbz2 28-Nov-2025 02:49 87368
minisat-2.2.1_0.darwin_17.x86_64.tbz2.rmd160 28-Nov-2025 02:49 512
minisat-2.2.1_0.darwin_18.x86_64.tbz2 28-Nov-2025 02:58 87721
minisat-2.2.1_0.darwin_18.x86_64.tbz2.rmd160 28-Nov-2025 02:58 512
minisat-2.2.1_0.darwin_19.x86_64.tbz2 28-Nov-2025 02:50 87817
minisat-2.2.1_0.darwin_19.x86_64.tbz2.rmd160 28-Nov-2025 02:50 512
minisat-2.2.1_0.darwin_20.arm64.tbz2 28-Nov-2025 09:19 88572
minisat-2.2.1_0.darwin_20.arm64.tbz2.rmd160 28-Nov-2025 09:19 512
minisat-2.2.1_0.darwin_20.x86_64.tbz2 28-Nov-2025 02:54 88274
minisat-2.2.1_0.darwin_20.x86_64.tbz2.rmd160 28-Nov-2025 02:54 512
minisat-2.2.1_0.darwin_21.arm64.tbz2 28-Nov-2025 05:50 87238
minisat-2.2.1_0.darwin_21.arm64.tbz2.rmd160 28-Nov-2025 05:50 512
minisat-2.2.1_0.darwin_21.x86_64.tbz2 28-Nov-2025 02:48 88014
minisat-2.2.1_0.darwin_21.x86_64.tbz2.rmd160 28-Nov-2025 02:48 512
minisat-2.2.1_0.darwin_22.arm64.tbz2 28-Nov-2025 05:25 87484
minisat-2.2.1_0.darwin_22.arm64.tbz2.rmd160 28-Nov-2025 05:25 512
minisat-2.2.1_0.darwin_22.x86_64.tbz2 28-Nov-2025 05:20 87228
minisat-2.2.1_0.darwin_22.x86_64.tbz2.rmd160 28-Nov-2025 05:20 512
minisat-2.2.1_0.darwin_23.arm64.tbz2 28-Nov-2025 02:44 87679
minisat-2.2.1_0.darwin_23.arm64.tbz2.rmd160 28-Nov-2025 02:44 512
minisat-2.2.1_0.darwin_23.x86_64.tbz2 28-Nov-2025 03:52 87353
minisat-2.2.1_0.darwin_23.x86_64.tbz2.rmd160 28-Nov-2025 03:52 512
minisat-2.2.1_0.darwin_24.arm64.tbz2 28-Nov-2025 02:46 87167
minisat-2.2.1_0.darwin_24.arm64.tbz2.rmd160 28-Nov-2025 02:46 512
minisat-2.2.1_0.darwin_24.x86_64.tbz2 28-Nov-2025 02:45 86536
minisat-2.2.1_0.darwin_24.x86_64.tbz2.rmd160 28-Nov-2025 02:45 512
minisat-2.2.1_0.darwin_25.arm64.tbz2 29-Nov-2025 01:18 87137
minisat-2.2.1_0.darwin_25.arm64.tbz2.rmd160 29-Nov-2025 01:18 512