Processing commands for cont...@bugs.debian.org:
> unarchive 536363
Bug #536363 {Done: Mathieu Malaterre <mathieu.malate...@gmail.com>} [wnpp] ITP:
vera++ -- Vera++ is a programmable tool for verification, analysis and
transformation of C++ source code.
Unarchived Bug 536363
> reopen 536363
Bug #536363 {Done: Mathieu Malaterre <mathieu.malate...@gmail.com>} [wnpp] ITP:
vera++ -- Vera++ is a programmable tool for verification, analysis and
transformation of C++ source code.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
536363: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=536363
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--
To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive:
http://lists.debian.org/handler.s.c.132727301812969.transcr...@bugs.debian.org
