- Update corsix-th to 0.62
- Chase upstream DATADIR and binary name changes
- Add icon and desktop menu entry
Description
Description
Details
Details
- Provenance
madpilot Authored on - Parents
- rP475115: math/cvc4: Update 1.5 -> 1.6
- Branches
- Unknown
- Tags
- Update corsix-th to 0.62 Tags None Referenced Files None Subscribers None
Description
Details
|