Accepted cbmc 5.10-2 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 30 Sep 2018 15:08:10 +0100
Source: cbmc
Binary: cbmc
Architecture: source
Version: 5.10-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
Closes: 909932
Changes:
cbmc (5.10-2) unstable; urgency=low
.
* Fix regression tests using __float80, which is x86 only (Closes: #909932)
Checksums-Sha1:
0ce10d1e4f38b1594eb9b7b6aae83841b315cafb 2169 cbmc_5.10-2.dsc
8c02bedd088e0c02deb6dda438658465214b5ffa 11980 cbmc_5.10-2.debian.tar.xz
Checksums-Sha256:
918f6e9e058aa2497e5bac381a410d6a3644e1bd55f9d39a1f7c56d5eb17f4b7 2169 cbmc_5.10-2.dsc
8ce4c5dc988c826145e464b54e2e548ca8395fd459515b0762250527d1888b21 11980 cbmc_5.10-2.debian.tar.xz
Files:
705af377bc54b59293c65349f5dfc4f5 2169 science optional cbmc_5.10-2.dsc
889286e2f4be22af14603159bddeda59 11980 science optional cbmc_5.10-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Comment: GPGTools - http://gpgtools.org
iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAluw6OYOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTHUaQ//ZvUsfeZ7aDI0OeY+ztzBvNeGWVP1WeXeL6SH
Jdtc2O5fjr5FKbpLVnIBTQw6CojiyZygoJZ0drMjmQmOvfn/E37cdQar75GKSrKA
BpfS5IdNCMzDiJMSh5TkofYOwS6sK8KtM53kTDOiiF7M8ZescyT/Ei+vb0lArMpl
q/4A8VNa0LEYiZBDXvlOrIlSM1tZ4R7CEtmVc1bdPstlVX1JtECsQqoxZDmAa+57
//33SOhsTAGt81Tw/OrUzLREjbUc3s2M5SJhyVEAuxL3m5UHaWj6VwXO+VQ/AkSg
mthujttLE9EsReRE8NXWbNttAcES0Wmoqo9oumzTPA0/1yDmUpV0Wqi9wBtL9Geo
q1/+YKLXyf0Sx5eIrxOnHHOkJj6rugBpTOYN8FgeE10NC0CA2Ys7vDQ9z12ydH7x
2fEvwIus5oy2JPBQr4Ug8TnLtUFc7H6BKQ0qF+GjpMALnTsXLZWrzNxNYj+H+cJe
6vQRf7IWdYi6+h9yKIbRNLh1L5OmESnUgQfSEJKvbUMva0qlWuDIa44iuCL8p1SZ
aTh/PKJC6cCLclTGjUgFGDTeuB/20Xgb0mAps04UCg9+ELWF8g2Q5vQzOV9uVjxM
Xzik5zml0qxXjhFvZNaHgQLBp0irz7nBIuHTSm190dqyk9kxV8LZxbrso6TvmbxV
HVj5xU4=
=WVh2
-----END PGP SIGNATURE-----