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 X.(Y-1).99
).
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: Jun 04 2023 at 19:30 UTC