Michael Soegtrop (Mar 22 2022 at 18:25): Michael Soegtrop (Mar 22 2022 at 18:25):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.
Théo Zimmermann (Mar 22 2022 at 18:28):Indeed, this was removed in https://github.com/coq/coq/pull/14068.
Théo Zimmermann (Mar 22 2022 at 18:29):In principle, the coq_macos_version was the same as the coq_version except for pre-releases (where it was X.(Y-1).99).
Michael Soegtrop (Mar 22 2022 at 18:43):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