- Summary: math/cryptominisat
| ID | Product | Component | Assignee▲ | Status▲ | Resolution | Summary | Changed |
|---|---|---|---|---|---|---|---|
| 212601 | Ports & Packages | Individual Port(s) | amdmi3 | Closed | FIXED | math/cryptominisat: Update to 5.0.1 | 2016-11-11 |
| 229724 | Ports & Packages | Individual Port(s) | arrowd | Closed | FIXED | math/cryptominisat: unbreak on aarch64 | 2018-08-10 |
| 211460 | Ports & Packages | Individual Port(s) | cpm | Closed | FIXED | math/cryptominisat math/py-cryptominisat: Update to 5.0.0 | 2016-09-01 |
| 199929 | Ports & Packages | Individual Port(s) | jbeich | Closed | FIXED | [NEW PORT] math/cryptominisat | 2015-05-05 |
| 204850 | Ports & Packages | Individual Port(s) | koobs | Closed | FIXED | math/cryptominisat & math/py-cryptominisat: Update to 4.5.3 | 2016-01-07 |
| 224645 | Ports & Packages | Individual Port(s) | yuri | Closed | Not Accepted | New port: math/cryptominisat4 | 2017-12-28 |
File a new bug in the "Individual Port(s)" component of the "Ports & Packages" product