The Coq mailing list

[Enrico Tassi <Enrico.Tassi AT inria.fr>]

On Thu, 2020-12-10 at 04:46 +0100, Paolo Giarrusso wrote:
> What else does matter? We ran into this problem a while ago and never
> investigated. We _might_ have changed OCaml version or used a
> different Linux distribution. Is there a list of what factors are
> recorded by Coq in vo files?

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.

Ciao
-- 
Enrico Tassi