Can someone tell me how to figure out the version of OCaml a .cmi is the compiled interface for?
See https://github.com/coq/coq/issues/14589 for context?
You can just run the
file command on it. It will give you a 3-digit number.
029 for 4.12,
027 for 4.10,
025 for 4.08, and so on.
Indeed, the header will tell you the version [using file of just
hd] , tho, your problem is more subtle as even with the same OCaml version you could hit this checksum problem.
Last updated: Jun 05 2023 at 09:01 UTC