[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Processed: Re: reopen ITP vera++



Processing commands for control@bugs.debian.org:

> unarchive 536363
Bug #536363 {Done: Mathieu Malaterre <mathieu.malaterre@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.malaterre@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 owner@bugs.debian.org with problems


Reply to: