The Coq mailing list

[Guillaume Melquiond <guillaume.melquiond AT inria.fr>]

Le 10/12/2020 à 10:39, Enrico Tassi a écrit :
> Vo files contain a "hash" of Coq. From config/coq_config.ml in one of
> my checkouts:
> 
>   let caml_version = "4.07.1"
>   let date = "November 2020"
>   let compile_date = "Nov 24 2020 13:18:16"
> 
> You did re-run ./configure, after make clean, I guess.

I don't think the date ever becomes part of the .vo files, even indirectly.

But Coq_config.caml_version does, and so does Coq_config.vo_version. The
former is critical for marshalling, and the latter is constant for a
given version of Coq.

Best regards,

Guillaume