Accepted vera++ 1.1.1-3b1 (source)

Jon Severinsson jon at severinsson.net
Thu Jan 23 20:02:20 EST 2014


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Tue, 21 Jan 2014 17:31:48 +0100
Source: vera++
Binary: vera++
Architecture: source
Version: 1.1.1-3b1
Distribution: staging
Urgency: low
Maintainer: Vincent Hobeïka <vincent.hobeika at gmail.com>
Changed-By: Jon Severinsson <jon at severinsson.net>
Description: 
 vera++     - Programmable verification and analysis tool for C++
Changes: 
 vera++ (1.1.1-3b1) staging; urgency=low
 .
   * No-change rebuild against boost 1.54
Checksums-Sha1: 
 cc45eaeb1f1dd4739b978ceff7da05a90e5ad1da 1782 vera++_1.1.1-3b1.dsc
 8b830e050c7675b7640213cf6e2eef2d2dbbdc3c 10151 vera++_1.1.1-3b1.debian.tar.gz
Checksums-Sha256: 
 2052bf649dead2369267db00472126014a8395986a683e6049605e4ba9b3018d 1782 vera++_1.1.1-3b1.dsc
 f95ee710a129cf12c368ff9fd7217329dabea7a18a229d9c1ae28074b8d9b125 10151 vera++_1.1.1-3b1.debian.tar.gz
Files: 
 60107583644af4163f6fb4566aea3270 1782 devel extra vera++_1.1.1-3b1.dsc
 6cc7755ae21fbd9f956202c38f6eacaa 10151 devel extra vera++_1.1.1-3b1.debian.tar.gz

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

iQIcBAEBCgAGBQJS3qD4AAoJEIxPDyvAFXjJABYP/jsMou+vmvFgyEnY87XTtRE3
s4VFbZykbc+p2RCRckZq1o70m5wVHx9DRvp406sweNuknWYtJwJ5ay7bqCLeh5Jp
imDIBdI8GVHqRNsjCYtDHGru+A1ybimQIBnHK0JLVBY0HjLKe1UY+8m6E+Glovy/
PYyn+qkIgAmyxtNqQ6MTYj21sp6enRzuOo7JCZ4v+HqD7VV9u1+wsPF++uaYmVMy
Wb5jDdI+0HvMe/7ez01N4/oNPSTW30xlsQgSMIUoKKEFNyB192f+oSfb0yx5D2cZ
fDlQ9PzRman9oARLeoh0DeZsv518BCz6UQL5YPJSR55geR1pk84nbo9cuO6FYI+e
Ux81p480Moezed6gSuSDOJbLkgSL+7hXi+sgFyhJSwCmB8BJb2D2hVPM4KQtidXJ
peYILhqC2+LrDEG7qaga41LyMTBgHf3n8civW5ugByORxM1MU5gtXkYCukYy1MP/
ynnY9QfvpJs4WiA+zuI4AnDI6hwlC1C5R4br1pNUPbsv0N4HseD0xXXgg8BwExrk
P9pcYJUr/1zTcCxlP7/wMx7l/yqFdggq87Nw8e/UWyWU3F8XntOVT/nwO2oelp6U
IRNJ7sztJ1yJd/PUgnGbgmr1773QxTcOGj1J+rVK9z2ekUeCrMlw6E+Y7Wmcdt17
dkR4hdqDkkR2a9N+duEo
=vGYC
-----END PGP SIGNATURE-----



More information about the Tanglu-changes mailing list