Processing commands for cont...@bugs.debian.org: > # 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 debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
