Source: matita Version: 0.5.8-3 Severity: serious Tags: wheezy sid User: debian...@lists.debian.org Usertags: qa-ftbfs-20110923 qa-ftbfs Justification: FTBFS on amd64
Hi, During a rebuild of all packages in sid, your package failed to build on amd64. Relevant part: > make[3]: Entering directory > `/build/matita-HsW2sE/matita-0.5.8/components/ng_library' > 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/matita-HsW2sE/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/http/http_mt.cmxa > and /usr/lib/ocaml/netstring/netstring.cmxa > make inconsistent assumptions over interface Neturl > make[3]: *** [rt.opt] Error 2 The full build log is available from: http://people.debian.org/~lucas/logs/2011/09/23/matita_0.5.8-3_lsid64.buildlog A list of current common problems and possible solutions is available at http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute! About the archive rebuild: The rebuild was done on about 50 AMD64 nodes of the Grid'5000 platform, using a clean chroot. Internet was not accessible from the build systems. -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
