Processed: reopen ITP vera++

To: Vincent Hobeïka <vincent.hobeika@gmail.com>
Cc: Vincent Hobeïka <vincent.hobeika@gmail.com> (owner of 536363 for {536363}), Mathieu Malaterre <mathieu.malaterre@gmail.com> (owner of 536363 for {536363}), wnpp@debian.org (wnpp for {536363})
Subject: Processed: reopen ITP vera++
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Sat, 04 Feb 2012 12:24:04 +0000
Message-id: <[🔎] handler.s.C.132835785118147.transcript@bugs.debian.org>
In-reply-to: <CANxQfEacxQpAPBhkMZe_KEwt61HDoSxAXnGrWug5NLhjRoyzKQ@mail.gmail.com>
References: <CANxQfEacxQpAPBhkMZe_KEwt61HDoSxAXnGrWug5NLhjRoyzKQ@mail.gmail.com>

Processing commands for control@bugs.debian.org:

> owner 536363 !
Bug #536363 [wnpp] ITP: vera++ -- Vera++ is a programmable tool for verification, analysis and transformation of C++ source code.
Owner changed from Mathieu Malaterre <mathieu.malaterre@gmail.com> to Vincent HobeÃ¯ka <vincent.hobeika@gmail.com>.
> 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:

Prev by Date: Bug#658584: ITP: zed -- abstract engine for text edition in OCaml
Next by Date: Bug#658596: ITP: lambda-term -- terminal manipulation library for OCaml
Previous by thread: Bug#658584: ITP: zed -- abstract engine for text edition in OCaml
Next by thread: Bug#658596: ITP: lambda-term -- terminal manipulation library for OCaml
Index(es):
- Date
- Thread