Index of /macports/packages/minisat/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
minisat-2.2.1_0.darwin_10.i386.tbz2 920402025-Nov-28 11:56
minisat-2.2.1_0.darwin_10.i386.tbz2.rmd160 5122025-Nov-28 11:56
minisat-2.2.1_0.darwin_10.i386.tbz2.sig 1592026-Sep-11 11:52
minisat-2.2.1_0.darwin_10.x86_64.tbz2 902382025-Nov-28 11:50
minisat-2.2.1_0.darwin_10.x86_64.tbz2.rmd160 5122025-Nov-28 11:50
minisat-2.2.1_0.darwin_10.x86_64.tbz2.sig 1592026-Sep-11 11:52
minisat-2.2.1_0.darwin_11.x86_64.tbz2 953692025-Nov-28 11:55
minisat-2.2.1_0.darwin_11.x86_64.tbz2.rmd160 5122025-Nov-28 11:55
minisat-2.2.1_0.darwin_11.x86_64.tbz2.sig 1592026-Sep-11 11:52
minisat-2.2.1_0.darwin_12.x86_64.tbz2 933542025-Nov-28 11:56
minisat-2.2.1_0.darwin_12.x86_64.tbz2.rmd160 5122025-Nov-28 11:56
minisat-2.2.1_0.darwin_12.x86_64.tbz2.sig 1592026-Sep-11 11:52
minisat-2.2.1_0.darwin_13.x86_64.tbz2 922502025-Nov-28 11:55
minisat-2.2.1_0.darwin_13.x86_64.tbz2.rmd160 5122025-Nov-28 11:55
minisat-2.2.1_0.darwin_13.x86_64.tbz2.sig 1592026-Sep-11 11:52
minisat-2.2.1_0.darwin_14.x86_64.tbz2 888692025-Nov-28 11:51
minisat-2.2.1_0.darwin_14.x86_64.tbz2.rmd160 5122025-Nov-28 11:51
minisat-2.2.1_0.darwin_14.x86_64.tbz2.sig 1592026-Sep-11 11:52
minisat-2.2.1_0.darwin_15.x86_64.tbz2 875512025-Nov-28 12:04
minisat-2.2.1_0.darwin_15.x86_64.tbz2.rmd160 5122025-Nov-28 12:04
minisat-2.2.1_0.darwin_15.x86_64.tbz2.sig 1592026-Sep-11 11:52
minisat-2.2.1_0.darwin_16.x86_64.tbz2 882592025-Nov-28 11:57
minisat-2.2.1_0.darwin_16.x86_64.tbz2.rmd160 5122025-Nov-28 11:57
minisat-2.2.1_0.darwin_16.x86_64.tbz2.sig 1592026-Sep-11 11:52
minisat-2.2.1_0.darwin_17.x86_64.tbz2 873682025-Nov-28 11:49
minisat-2.2.1_0.darwin_17.x86_64.tbz2.rmd160 5122025-Nov-28 11:49
minisat-2.2.1_0.darwin_17.x86_64.tbz2.sig 1592026-Sep-11 11:52
minisat-2.2.1_0.darwin_18.x86_64.tbz2 877212025-Nov-28 11:58
minisat-2.2.1_0.darwin_18.x86_64.tbz2.rmd160 5122025-Nov-28 11:58
minisat-2.2.1_0.darwin_18.x86_64.tbz2.sig 1592026-Sep-11 11:52
minisat-2.2.1_0.darwin_19.x86_64.tbz2 878172025-Nov-28 11:50
minisat-2.2.1_0.darwin_19.x86_64.tbz2.rmd160 5122025-Nov-28 11:50
minisat-2.2.1_0.darwin_19.x86_64.tbz2.sig 1592026-Sep-11 11:52
minisat-2.2.1_0.darwin_20.arm64.tbz2 885722025-Nov-28 18:19
minisat-2.2.1_0.darwin_20.arm64.tbz2.rmd160 5122025-Nov-28 18:19
minisat-2.2.1_0.darwin_20.arm64.tbz2.sig 1592026-Sep-11 11:52
minisat-2.2.1_0.darwin_20.x86_64.tbz2 882742025-Nov-28 11:54
minisat-2.2.1_0.darwin_20.x86_64.tbz2.rmd160 5122025-Nov-28 11:54
minisat-2.2.1_0.darwin_20.x86_64.tbz2.sig 1592026-Sep-11 11:52
minisat-2.2.1_0.darwin_21.arm64.tbz2 872382025-Nov-28 14:50
minisat-2.2.1_0.darwin_21.arm64.tbz2.rmd160 5122025-Nov-28 14:50
minisat-2.2.1_0.darwin_21.arm64.tbz2.sig 1592026-Sep-11 11:52
minisat-2.2.1_0.darwin_21.x86_64.tbz2 880142025-Nov-28 11:48
minisat-2.2.1_0.darwin_21.x86_64.tbz2.rmd160 5122025-Nov-28 11:48
minisat-2.2.1_0.darwin_21.x86_64.tbz2.sig 1592026-Sep-11 11:52
minisat-2.2.1_0.darwin_22.arm64.tbz2 874842025-Nov-28 14:25
minisat-2.2.1_0.darwin_22.arm64.tbz2.rmd160 5122025-Nov-28 14:25
minisat-2.2.1_0.darwin_22.arm64.tbz2.sig 1592026-Sep-11 11:52
minisat-2.2.1_0.darwin_22.x86_64.tbz2 872282025-Nov-28 14:20
minisat-2.2.1_0.darwin_22.x86_64.tbz2.rmd160 5122025-Nov-28 14:20
minisat-2.2.1_0.darwin_22.x86_64.tbz2.sig 1592026-Sep-11 11:52
minisat-2.2.1_0.darwin_23.arm64.tbz2 876792025-Nov-28 11:44
minisat-2.2.1_0.darwin_23.arm64.tbz2.rmd160 5122025-Nov-28 11:44
minisat-2.2.1_0.darwin_23.arm64.tbz2.sig 1592026-Sep-11 11:52
minisat-2.2.1_0.darwin_23.x86_64.tbz2 873532025-Nov-28 12:52
minisat-2.2.1_0.darwin_23.x86_64.tbz2.rmd160 5122025-Nov-28 12:52
minisat-2.2.1_0.darwin_23.x86_64.tbz2.sig 1592026-Sep-11 11:52
minisat-2.2.1_0.darwin_24.arm64.tbz2 871672025-Nov-28 11:46
minisat-2.2.1_0.darwin_24.arm64.tbz2.rmd160 5122025-Nov-28 11:46
minisat-2.2.1_0.darwin_24.arm64.tbz2.sig 1592026-Sep-11 11:52
minisat-2.2.1_0.darwin_24.x86_64.tbz2 865362025-Nov-28 11:45
minisat-2.2.1_0.darwin_24.x86_64.tbz2.rmd160 5122025-Nov-28 11:45
minisat-2.2.1_0.darwin_24.x86_64.tbz2.sig 1592026-Sep-11 11:52
minisat-2.2.1_0.darwin_25.arm64.tbz2 871372025-Nov-29 10:18
minisat-2.2.1_0.darwin_25.arm64.tbz2.rmd160 5122025-Nov-29 10:18
minisat-2.2.1_0.darwin_25.arm64.tbz2.sig 1592026-Sep-11 11:52