Your message dated Fri, 29 Nov 2013 18:50:15 +0000
with message-id <[email protected]>
and subject line Bug#709195: fixed in vera++ 1.2.1-1
has caused the Debian Bug report #709195,
regarding vera++: outdated homepage field
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 [email protected]
immediately.)
--
709195: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=709195
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: vera++
Version: 1.1.1-3
Severity: minor
The homepage currently points to:
http://www.inspirel.com/vera/
This site says:
| Please visit the new offical Vera++ home: https://bitbucket.org/ThArGos/vera
Visiting that site you get:
| # The project is now hosted at https://bitbucket.org/verateam
There you can see the projects owned by the Vera Team and it actually
includes the vera++ project:
https://bitbucket.org/verateam/vera
The sequence to get to the relevant upstream information is a bit
longish as you can see. Please shorten it.
Helmut
--- End Message ---
--- Begin Message ---
Source: vera++
Source-Version: 1.2.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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Thorsten Alteholz <[email protected]> (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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Mon, 21 Oct 2013 15:58:32 +0200
Source: vera++
Binary: vera++
Architecture: source amd64
Version: 1.2.1-1
Distribution: unstable
Urgency: low
Maintainer: Vincent Hobeïka <[email protected]>
Changed-By: Thorsten Alteholz <[email protected]>
Description:
vera++ - Programmable verification and analysis tool for C++
Closes: 709195
Changes:
vera++ (1.2.1-1) unstable; urgency=low
.
* Fixed watch files
* Fixed homepage url (Closes: #709195)
* Updated dependencies
* Updated standards-version to 3.9.4 (no changes)
Checksums-Sha1:
ee0473d11d89dcbbfcd24bf63fd69101f4da99d4 1354 vera++_1.2.1-1.dsc
0bf7d463dabe41c2069dbe2fa4f7fca192cb7d6e 72539 vera++_1.2.1.orig.tar.gz
072c9dcf1d48493b2a27aa57372d3f381042d64d 18486 vera++_1.2.1-1.debian.tar.gz
fd61bf70c786cf8ac75b0284815bf703c1c39502 146760 vera++_1.2.1-1_amd64.deb
Checksums-Sha256:
bda791a2b7cdf1fba8e4b8d28b7796aa6789f88f767a6b49aeddd05575423147 1354
vera++_1.2.1-1.dsc
99b123c8f6d0f4fe9ee90397c461179066a36ed0d598d95e015baf2d3b56956b 72539
vera++_1.2.1.orig.tar.gz
c6c41194e8fa12b3a5442ba3e703890fe06464aaf91cc38d18fa6e58a4bcd105 18486
vera++_1.2.1-1.debian.tar.gz
a63c2b5f8c5cc5679f7c1528eb7bfeab2c106aa59113e3c6caf80a6cd772802a 146760
vera++_1.2.1-1_amd64.deb
Files:
c72cd939f293d3a5f64a45bea504e746 1354 devel extra vera++_1.2.1-1.dsc
a23de16b826da0aeef7f365ba631ea8e 72539 devel extra vera++_1.2.1.orig.tar.gz
0223c675ac1ba68da4192f977a3cc8a0 18486 devel extra vera++_1.2.1-1.debian.tar.gz
f9fa23f9667ea3e3efe1937ae2bc8124 146760 devel extra vera++_1.2.1-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.15 (GNU/Linux)
iEYEARECAAYFAlKY4AEACgkQ02K2KlS5mJAKBQCdG3UdCAl9fCoRJESZo6Ez3AGj
0Q0Amwa3isKtPDue9qV/ol2fwy82Ji0Q
=pcvO
-----END PGP SIGNATURE-----
--- End Message ---
