Processed: notfound 439725 in antlr/2.7.6-9

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> notfound 439725 antlr/2.7.6-9
Bug #439725 {Done: Michael Koch <konqueror at gmx.de>} [antlr] antlr: New upstream source (3.01)
Bug No longer marked as found in versions antlr/2.7.6-9.
>
End of message, stopping processing here.

Please contact me if you need assistance.

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