Processing commands for [EMAIL PROTECTED]: > # the following bugs are closed by packages in NEW > # > tags 460813 pending Bug#460813: ITP: p9m4 -- GUI for Prover9 and Mace4 There were no tags set. Tags added: pending
> tags 462728 pending Bug#462728: RFP: fusil -- Multi-agent fuzzing system There were no tags set. Tags added: pending > tags 463033 pending Bug#463033: ITP: alex4 -- Alex the Allegator 4 - a retro platform game There were no tags set. Tags added: pending > tags 463500 pending Bug#463500: ITP: ocaml-magic -- Ocaml interface to libmagic There were no tags set. Tags added: pending > tags 465204 pending Bug#465204: ITP: fusil -- Fuzzing program to test applications There were no tags set. Tags added: pending > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]