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

Accepted cbmc 6.0.1-2 (source) into unstable



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

Format: 1.8
Date: Fri, 05 Jul 2024 17:55:42 +0000
Source: cbmc
Binary: cbmc cbmc-dbgsym jbmc jbmc-dbgsym
Architecture: source
Version: 6.0.1-2
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
 jbmc       - bounded model checker for Java programs
Changes:
 cbmc (6.0.1-2) unstable; urgency=low
 .
   * Fix portability problems
Checksums-Sha1:
 d2d218b612b38755c2058df48f488a18688cc553 3048 cbmc_6.0.1-2.dsc
 d71859fd0ea4444e6a1e72330b2a58bd3a6e7e51 18072 cbmc_6.0.1-2.debian.tar.xz
Checksums-Sha256:
 c359d4ddc907071cd972302f9b4cdf372400c0b0a22f69de59ce0f9fc5f3dcb7 3048 cbmc_6.0.1-2.dsc
 c1edb362266c24436d2a4376e5fb9cc4f626d493c6913a6b50b926624131c703 18072 cbmc_6.0.1-2.debian.tar.xz
Files:
 a59d2eecfe3f4dd48298ae1858805683 3048 science optional cbmc_6.0.1-2.dsc
 138dbb0754a2fa9e1544f2b91e4973cf 18072 science optional cbmc_6.0.1-2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJCBAEBCgAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmaIPvMOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTGqNA//clkh3jxyDG+hw18XBJ3nFjvIfPh7H0DEm9ll
pdyaFf2H1NYjWDJXEvU3AyKqBf6H+xWx0dR+qFwwxJfoSul/NcXUFU0ISyTtifrs
GD5JxTFkI6aH1GA71AEzIwSvOwpeit8ORlcEerF6beOHFuu8rSy9mpz7wW2DBm3P
eYCyuRgyWA2tTm/THnSBCj1JlijWH4U4m+9g2XUzSdaq26wS8iiHVW3Nz7kvgLJT
ok5tn07FMcXMi9E5OrO3N3umCLfGz5LPnLLIIHf1nTw76FZPULH+Cy2EmcP15eb+
+mysFU7Ji7BMgMDuEAyujWKeSdOnGz0MBfBWg08qp91s11E8kdonBiw6UbR+Vbnd
4m1rSD//s7xHqNrQi78ZzAK/FtZE4sHxWLgUn26RaSIgDTJFLWXp8+b5hI3x99Ub
BCXeLN8hgvEmYd6rjHXCxCr/i4l/RZmLqcF2MOEqLAPLwyqyf1lALbSzWWjaL0WK
Jzt2TAurO4a/RJLsRypHgS1Wx1+/p2bxbSUidutCfTIbQdPB9CHPWhS7Nl36BAtb
LVKb8w/Eh+7qesTxbvL4HE/sisJPU5C3kSHCdvoaYyA9EcyteRB/gKceEAGBSO+Y
Uu5xWp3zfB6/JK9MZixMhMN0X7GhuLz2NOpXF0avNuINbAt93KLMkLF3mmWY7IJ7
V+ja6jw=
=msgP
-----END PGP SIGNATURE-----

Attachment: pgpKHJrNcmLKU.pgp
Description: PGP signature


Reply to: