I get
cppo -V COQ:8.16+alpha -V OCAML:4.07.1 -n -o plugin/coqsimpleio.mlg plugin/coqsimpleio.mlg.cppo Error: Invalid version specification: "COQ:8.16+alpha"
Any advice then?
cppo version?
https://github.com/coq/coq/pull/14961
1.6.7
Between minor versions this breaks?
https://github.com/ocaml-community/cppo/blob/master/Changes.md
v1.6.8 (2021-09-17)
[compat] Allow version strings without patch numbers, e.g. 8.13+beta1 The patch number will be set to 0 upon empty, i.e. (8, 13, 0)
:shrug:
OK thanks.
cppo or perl, chose your poison, ok
Last updated: Oct 13 2024 at 01:02 UTC