Processing commands for control@bugs.debian.org: > affects 577311 matita Bug #577311 [ulex0.8] matita: FTBFS: /bin/sh: query: not found Added indication that 577311 affects matita > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)