math/coq: force unsafe strings to unbreak against modern OCaml.
Description
Description
Details
Details
- Provenance
danfe Authored on Apr 10 2022, 6:27 PM - Parents
- R11:3763ef633f86: www/py-grip: Update to 4.6.1
- Branches
- Unknown
- Tags
math/coq: force unsafe strings to unbreak against modern OCaml. Tags None Referenced Files None Subscribers None |