Source: matita Version: 0.5.8-3 Severity: serious Tags: wheezy sid User: [email protected] Usertags: qa-ftbfs-20120331 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 `/«PKGBUILDDIR»/components/content_pres' > OCAMLC renderingAttrs.mli > OCAMLOPT renderingAttrs.ml > OCAMLC cicNotationLexer.mli > OCAMLOPT cicNotationLexer.ml > OCAMLC cicNotationParser.mli > OCAMLOPT cicNotationParser.ml > Characters 29868-29910: > Error: Unbound constructor Stdpp.Exc_located > make[3]: *** [cicNotationParser.cmx] Error 2 The full build log is available from: http://people.debian.org/~lucas/logs/2012/03/31/matita_0.5.8-3_unstable.log 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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
