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

Bug#665357: marked as done (RFS: vera++/1.1.1-1 [ITP] Programmable verification and analysis tool for C++)

Your message dated Wed, 15 Aug 2012 04:20:10 +0000
with message-id <E1T1V5W-0007xM-SD@quantz.debian.org>
and subject line closing RFS: vera++/1.1.1-1 [ITP] Programmable verification and analysis tool for C++
has caused the Debian Bug report #665357,
regarding RFS: vera++/1.1.1-1 [ITP] Programmable verification and analysis tool for C++
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
665357: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=665357
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: sponsorship-requests
Severity: wishlist


Dear mentors,




I am looking for a sponsor for my package "vera++"




 * Package name    : vera++


   Version         : 1.1.1-1


   Upstream Author : Maciej Sobczak


 * URL             : http://www.inspirel.com/vera/


 * License         : Boost Software License


   Section         : devel




It builds those binary packages:




 vera++     - Programmable verification and analysis tool for C++




To access further information about this package, please visit the following URL:




http://mentors.debian.net/package/vera%2B%2B






Alternatively, one can download the package with dget using this command:




  dget -ux http://mentors.debian.net/debian/pool/main/v/vera++/vera++_1.1.1-1.dsc




More information about vera++ can be obtained from http://www.inspirel.com/vera/.




Best regards,




-- 


Vincent Hobeïka


Attachment:
signature.asc

Description: This is a digitally signed message part.


--- End Message ---


--- Begin Message ---


Package vera++ version 1.1.1-1 is in unstable now.
http://packages.qa.debian.org/vera++

--- End Message ---







Reply to: