-----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-----
