reassign 569391 libgdome2-ocaml-dev retitle 569391 libgdome2-ocaml-dev: misses dependency on ocaml-nox-$ABI affects 569391 src:matita thanks
Lucas Nussbaum a écrit : > Relevant part: [...] I think the relevant part is rather: > OCAMLC nCic2OCic.mli > OCAMLOPT nCic2OCic.ml > OCAMLC oCic2NCic.mli > OCAMLOPT oCic2NCic.ml > OCAMLC nCicLibrary.mli > OCAMLOPT nCicLibrary.ml > OCAMLOPT -a ng_library.cmxa > OCAMLPATH=/build/user-matita_0.5.8-2-amd64-vFe0Ps/matita-0.5.8/components/METAS > ocamlfind opt -package "helm-ng_refiner helm-ng_cic_content > helm-ng_disambiguation helm-ng_paramodulation" -predicates "" -thread > -rectypes -pp camlp5o -package helm-ng_library -linkpkg -o rt.opt rt.ml > File "rt.ml", line 1, characters 0-1: > Error: Files /usr/lib/ocaml/expat/expat.cmxa and /usr/lib/ocaml/stdlib.cmxa > make inconsistent assumptions over implementation Callback This bug, similarly to #569267, is due to missing dependencies in build-dependencies, that allowed this build to take place even though it shouldn't. The build log mentions libexpat-ocaml-dev, which has been fixed, but (at least) libgdome2-ocaml-dev misses a dependency to ocaml-nox-$ABI -- Stéphane -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/4b792543.6010...@debian.org
