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