Source: rocq-stdlib Severity: serious Tags: ftbfs https://buildd.debian.org/status/logs.php?pkg=flocq&ver=4.2.2-1&arch=arm64&suite=experimental
... Get:72 https://deb.debian.org/debian experimental/main arm64 libcoq-core-ocaml-dev arm64 9.2.0+dfsg-1 [55.9 MB] Get:73 https://deb.debian.org/debian experimental/main arm64 libcoq-stdlib arm64 9.1.0-1 [20.3 MB] ... Error: Error when parsing .vo (from file /usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Stdlib/NArith/BinNat.vo) for library Stdlib.NArith.BinNat: File /usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Stdlib/NArith/BinNat.vo has bad version number 90100 (expected 90299). It is corrupted or was compiled with another version of Rocq. Failed to build src/Version.vo Failed to build all make[1]: *** [debian/rules:9: override_dh_auto_build] Error 1 ... Get:72 https://deb.debian.org/debian experimental/main arm64 libcoq-core-ocaml-dev arm64 9.2.0+dfsg-1 [55.9 MB] Get:73 https://deb.debian.org/debian experimental/main arm64 libcoq-stdlib arm64 9.1.0-1+b1 [20.1 MB] ... I: Built successfully ... 9.1.0-1+b1 was a rebuild against coq 9.2.0. libcoq-stdlib must depend on libcoq-core-ocaml-ABI (or some similar dependency on coq).
