Accepted cbmc 5.0-3 (source i386) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 08 Feb 2015 09:16:23 +0000
Source: cbmc
Binary: cbmc
Architecture: source i386
Version: 5.0-3
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description:
cbmc - bounded model checker for C and C++ programs
Changes:
cbmc (5.0-3) unstable; urgency=low
.
* Fix long-double-width on sparc
Checksums-Sha1:
a779d9d85c10c6fd34666b130db6d8759d05bca5 1749 cbmc_5.0-3.dsc
6a06fe8d4b11fb81415196ef89bd20d3a7048c3d 23936 cbmc_5.0-3.debian.tar.xz
Checksums-Sha256:
a67bda1232a56774760ccb47ea930913a61e27d5dc5830f3e84cf9ddb857097d 1749 cbmc_5.0-3.dsc
ac50b6fbd13902427b54dd50e034b51b101ced38a1e89ab469bc86ea0652e05c 23936 cbmc_5.0-3.debian.tar.xz
Files:
a849c60e6ce1d8ff5aef0ae6250d9e37 1749 science extra cbmc_5.0-3.dsc
2d7d1ae1da73466d36eb86f1736998d9 23936 science extra cbmc_5.0-3.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: GPGTools - http://gpgtools.org
iQIcBAEBCAAGBQJU12GGAAoJEDu/g5M27KkxSvQP/1AGD5vu5iM7d3/Ht7ULopKF
ktHaVxv5aFxrJkqumN3j3JHGdBfsJUkCkb/SUU7s+08JWNddLmTQQ7hPckPc6JRp
k19W5v0xuz/FuWGrYMKHpSw+TlbPHio+hFJwRGLF4kjzxeP36y3FUuuCbY5zw1Wm
tu5wwi9G9gsqfqftfWBXdb7GCkH0Ww/1UmvMX5j2iYf0oq/vt2UuFbXr2EgFqBNu
niaG4qfEcMLh3MCrrPq980JAeo75pRr7pQbev5gfaAKZYWbaRpVgxrFb+S0qJ51A
PgPQ7q+7Biwfm22RYgIeuFSeDrrTJwYpM+5zjAvig9AcpyMfxmZfunjj4P0MLPLn
O71jhZqK+Jpf8wkIJA2HZ1/Lp3kjm7zgS5UKEdOcf+cJzq2FXj8wnLyKfgYUgTj0
GIiRbD90U3jC3KD6LoMm4Frjed24sVbBgiWS9Hyc5xBwQdRgA+9bMN3rhwpQOsjO
bb04WXpEdnixSMUJiwrLmf2HkKXZHXVDVoFCZKzWLw5BOHlvYmWdRDTilSDpTzBb
XknaE9Uj1G5IyYwN2nA2hOwGAC1loH06XtLGbG+4/8AFA4qLPvaIXlq84P4uULZd
zu4bj4hv2idWqY+CPDqp1KWfQBUeRTZbMZcwXwleZPO8SBsfAwtX03N62YJIhj5y
AkFGloakkol7JXYdomTP
=VlPE
-----END PGP SIGNATURE-----