ports-mgmt/caronade: Update to 0.8.0
Description
Description
Details
Details
- Provenance
decke Authored on Fri, Jul 31, 9:11 PM - Parents
- R11:f4b31ca20ad0: math/lean4: remove compatibility code for FreeBSD 13
- Branches
- Unknown
- Tags
ports-mgmt/caronade: Update to 0.8.0 Tags None Referenced Files None Subscribers None |