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

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

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:


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.

Reply to: