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

To: 569391@bugs.debian.org
Subject: Bug#569391: matita: FTBFS: /bin/sh: query: not found
From: Stéphane Glondu <glondu@debian.org>
Date: Mon, 15 Feb 2010 22:43:51 +0100
Message-id: <4B79C017.3020000@debian.org>
Reply-to: Stéphane Glondu <glondu@debian.org>, 569391@bugs.debian.org
In-reply-to: <20100215213742.GA8965@usha.takhisis.invalid>
References: <20100211190356.GA6231@xanadu.blop.info> <4B792543.6010009@debian.org> <20100215213742.GA8965@usha.takhisis.invalid>

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

Reply to:

Follow-Ups:
- Re: Bug#569391: matita: FTBFS: /bin/sh: query: not found
  - From: Stefano Zacchiroli <zack@debian.org>

References:
- Bug#569391: matita: FTBFS: /bin/sh: query: not found
  - From: Lucas Nussbaum <lucas@lucas-nussbaum.net>
- Bug#569391: matita: FTBFS: /bin/sh: query: not found
  - From: Stéphane Glondu <glondu@debian.org>
- Re: Bug#569391: matita: FTBFS: /bin/sh: query: not found
  - From: Stefano Zacchiroli <zack@debian.org>

Prev by Date: Re: Bug#569391: matita: FTBFS: /bin/sh: query: not found
Next by Date: Re: Bug#569078: nmu: OCaml 3.11.2 transition
Previous by thread: Re: Bug#569391: matita: FTBFS: /bin/sh: query: not found
Next by thread: Re: Bug#569391: matita: FTBFS: /bin/sh: query: not found
Index(es):
- Date
- Thread