Processing commands for control@bugs.debian.org: > tags 230356 - pending Bug#230356: coq: New upstream release Tags were: pending Tags removed: pending > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)