Bug#569391: matita: FTBFS: /bin/sh: query: not found

2010-02-15 Thread Stefano Zacchiroli
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

Bug#569391: matita: FTBFS: /bin/sh: query: not found

2010-02-15 Thread Stéphane Glondu
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".

Processed: Re: Bug#569391: matita: FTBFS: /bin/sh: query: not found

2010-02-15 Thread Debian Bug Tracking System
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

Bug#569391: matita: FTBFS: /bin/sh: query: not found

2010-02-15 Thread Stéphane Glondu
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

Bug#569391: matita: FTBFS: /bin/sh: query: not found

2010-02-11 Thread Lucas Nussbaum
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