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

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@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 libgdome2-ocaml-dev: misses dependency on ocaml-nox-$ABI
Bug #569391 [libgdome2-ocaml-dev] matita: FTBFS: /bin/sh: query: not found
Changed Bug title to 'libgdome2-ocaml-dev: misses dependency on ocaml-nox-$ABI' from 'matita: FTBFS: /bin/sh: query: not found'
> affects 569391 src:matita
Bug #569391 [libgdome2-ocaml-dev] libgdome2-ocaml-dev: misses dependency on ocaml-nox-$ABI
Added indication that 569391 affects src:matita
> thanks
Stopping processing here.

Please contact me if you need assistance.

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