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

Bug#536363: marked as done (ITP: vera++ -- Vera++ is a programmable tool for verification, analysis and transformation of C++ source code.)

Your message dated Tue, 14 Aug 2012 23:00:15 +0000
with message-id <E1T1Q5v-0005ZG-Ld@franck.debian.org>
and subject line Bug#536363: fixed in vera++ 1.1.1-1
has caused the Debian Bug report #536363,
regarding ITP: vera++ -- Vera++ is a programmable tool for verification, analysis and transformation of C++ source code.
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.)


-- 
536363: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=536363
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Mathieu Malaterre <mathieu.malaterre@gmail.com>


* Package name    : vera++
  Version         : 1.1.1
  Upstream Author : Maciej Sobczak
* URL             : http://www.inspirel.com/vera/
* License         : Boost
  Programming Lang: C++
  Description     : Vera++ - Programmable verification and analysis tool for C++


Vera++ is a programmable tool for verification, analysis and transformation of C++ source code. 
Vera++ is mainly an engine that parses C++ source files and presents the result of this parsing to scripts in the form of various collections - the scripts are actually performing the requested tasks. 

-- System Information:
Debian Release: 5.0.2
  APT prefers stable
  APT policy: (500, 'stable'), (200, 'testing'), (100, 'unstable')
Architecture: amd64 (x86_64)

--- End Message ---
--- Begin Message --- 
Source: vera++
Source-Version: 1.1.1-1

We believe that the bug you reported is fixed in the latest version of
vera++, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 536363@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Vincent Hobeïka <vincent.hobeika@gmail.com> (supplier of updated vera++ package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Tue, 14 Aug 2012 12:20:57 +0200
Source: vera++
Binary: vera++
Architecture: source amd64
Version: 1.1.1-1
Distribution: unstable
Urgency: low
Maintainer: Vincent Hobeïka <vincent.hobeika@gmail.com>
Changed-By: Vincent Hobeïka <vincent.hobeika@gmail.com>
Description: 
 vera++     - Programmable verification and analysis tool for C++
Closes: 536363
Changes: 
 vera++ (1.1.1-1) unstable; urgency=low
 .
   * Initial release (Closes: #536363)
Checksums-Sha1: 
 4587ed6817852ba7224eeb9f7a1a171adee79029 1131 vera++_1.1.1-1.dsc
 fe3c14775b50a580d88872e0ada8602b39a2ae01 53263 vera++_1.1.1.orig.tar.gz
 ab6933838e9711bff1443b52cf23c12562bd2cf3 7545 vera++_1.1.1-1.debian.tar.gz
 616932aaebe7cbdeb32fece997fc111f4efc9784 108694 vera++_1.1.1-1_amd64.deb
Checksums-Sha256: 
 4978d2a95f4c85f209d2069e8f7989f4d3dd2633238897ce59a7a64479e909b5 1131 vera++_1.1.1-1.dsc
 c10e4cd8cdecf7044c295909e49d744a8f68eafbe180f3e7fdc0a11015e71ff4 53263 vera++_1.1.1.orig.tar.gz
 e8729162cdd420036bdc20867ec2dff530d018cd81ae853b50d703d4cad09946 7545 vera++_1.1.1-1.debian.tar.gz
 5fc35c11be8359d8c5b5de5b0b2ba5cc993b73cabf2cbd9c950782c9b89b47b0 108694 vera++_1.1.1-1_amd64.deb
Files: 
 962aff53a56f4890a2dd0550db0630ef 1131 devel extra vera++_1.1.1-1.dsc
 1077f55265e67c53dccaba200fbb8668 53263 devel extra vera++_1.1.1.orig.tar.gz
 49f266a2a3c585989624e7a2f46bcbe7 7545 devel extra vera++_1.1.1-1.debian.tar.gz
 f1bf06c446b7b40ed983a736f3045be7 108694 devel extra vera++_1.1.1-1_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iEYEARECAAYFAlAqkG8ACgkQ02K2KlS5mJBnxACgg4xtCLPFzk+Unh8xPBmrfVBX
PawAni4Y2HPQlMKrOGSS81QpadrvE9ib
=j7ac
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: