The MacOS installer creator extracts the Application version from here (https://github.com/coq/coq/blob/34da65afbe8fec419498f113548a7a58638cf404/configure.ml#L16).
This file is gone in 8.14+. Any idea where I could get this information?
I could auto create it with some script hacking, but I am not so sure what the policy was for beta versions.
Indeed, this was removed in https://github.com/coq/coq/pull/14068.
In principle, the
coq_macos_version was the same as the
coq_version except for pre-releases (where it was
I see - for the time being I will just throw an error if the version is non numeric and implement a conversion for the 8.16~rc1.
Last updated: Dec 07 2023 at 04:02 UTC