On Mon, Feb 15, 2010 at 11:43:15AM +0100, Stéphane Glondu wrote:
> 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 lea
Stefano Zacchiroli a écrit :
> In fact, it's already fixed in Git [1], I just didn't have time to
> upload yet. If it can be uploaded right away, I'll do that tomorrow.
Please do.
--
Stéphane
--
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of "unsubscribe".
Processing commands for cont...@bugs.debian.org:
> reassign 569391 libgdome2-ocaml-dev
Bug #569391 [src:matita] matita: FTBFS: /bin/sh: query: not found
Bug reassigned from package 'src:matita' to 'libgdome2-ocaml-dev'.
Bug No longer marked as found in versions matita/0.5.8-2.
> retitle 569391 lib
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
Source: matita
Version: 0.5.8-2
Severity: serious
User: debian...@lists.debian.org
Usertags: qa-ftbfs-20100211 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[4]: Entering directory
> `/build/user-m
5 matches
Mail list logo