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

To: Mehdi Dogguy <mehdi@dogguy.org>
Cc: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> (src:matita for {571435})
Subject: Processed: Re: Bug#571435: matita: FTBFS: /bin/sh: query: not found
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Thu, 25 Feb 2010 14:15:09 +0000
Message-id: <handler.s.C.126710728018077.transcript@bugs.debian.org>
In-reply-to: <4B8685CB.2070800@dogguy.org>
References: <4B8685CB.2070800@dogguy.org>

Processing commands for control@bugs.debian.org:

> retitle 571435 inconsistent assumptions over implementation GdomeInit
Bug #571435 [src:matita] matita: FTBFS: /bin/sh: query: not found
Changed Bug title to 'inconsistent assumptions over implementation GdomeInit' from 'matita: FTBFS: /bin/sh: query: not found'
> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)

Reply to:

References:
- Bug#571435: matita: FTBFS: /bin/sh: query: not found
  - From: Mehdi Dogguy <mehdi@dogguy.org>

Prev by Date: Bug#571435: matita: FTBFS: /bin/sh: query: not found
Next by Date: Bug#571435: matita: FTBFS: /bin/sh: query: not found
Previous by thread: Bug#571435: matita: FTBFS: /bin/sh: query: not found
Next by thread: Bug#571435: matita: FTBFS: /bin/sh: query: not found
Index(es):
- Date
- Thread