Processing commands for [email protected]: > # Wed Mar 25 19:03:26 UTC 2009 > # Tagging as pending bugs that are closed by packages in NEW > # http://ftp-master.debian.org/new.html > # > # Source package in NEW: mcrl2 > tags 460885 + pending Bug#460885: ITP: mcrl2 -- the mCRL2 formal specification language toolset There were no tags set. Tags added: pending
> End of message, 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]
