-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 26 May 2015 20:42:16 +0200 Source: berkeley-abc Binary: berkeley-abc Architecture: source amd64 Version: 1.01+20140822hg4d547a5+dfsg-1+deb8u1 Distribution: stable-proposed-updates Urgency: medium Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Changed-By: Ruben Undheim <ruben.undheim@gmail.com> Description: berkeley-abc - ABC - A System for Sequential Synthesis and Verification Closes: 780449 782027 786916 Changes: berkeley-abc (1.01+20140822hg4d547a5+dfsg-1+deb8u1) stable-proposed-updates; urgency=medium . * Fixed "Broken on big-endian architectures" (Closes: #782027) - (debian/patches/abc-bugfix-20150403.diff) * Fixed memory alignment problem (Closes: #786916) - (debian/patches/04_memory_alignment_fix.patch) * Fixed FTBFS during reproducibility tests (Closes: 780449) - (debian/patches/reproducibility.patch) Checksums-Sha1: b5d4490ac7f9745711800951d344df34a3c5ad19 2230 berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1.dsc a55e55bb5b2d792a97b86c4621ccfb48fa52c0ba 7424 berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1.debian.tar.xz 29508f55e1fa7c5c141da4e87ca41a9d949da1d8 2944694 berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1_amd64.deb Checksums-Sha256: 4f728fefcec1e14dae5fd117b1787967ad2d34bd3e32518b8ad515d5686b9a42 2230 berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1.dsc e24670372ed6c068c4f33990c80e0ceba43c0c6b71868e4a93153c154e4a4824 7424 berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1.debian.tar.xz 2866b1173fc19a7c0aeea85967d683af7f3c22f95af0329852970fd421c5ef28 2944694 berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1_amd64.deb Files: c11349e9bfbb6a76df484dd69c055d33 2230 electronics optional berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1.dsc 7ee4c12454ced9834d25b03f18e72dbe 7424 electronics optional berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1.debian.tar.xz 956f8820b91361653000f3fb44cbce42 2944694 electronics optional berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCgAGBQJVZfa2AAoJEOaYIsfgKVjN8jQP/0wDpO+iWMtPzpVaivBvURWp m9XthXdtnIlVVdrUvi32VJ0f53brd3t8d/j24iIAaF2Goxw3dxb6TAuY6jJOCD88 Ep5eoPUQ76zg8o3qtU+Uf9seC2/tL0oxg5VFA95s8GQCagtHAERzkkY1m0giHtf/ ubJ4duHqdlSXD6NT2/kHiqu1hbKmp6Wew4u9DwAG2SdOoe4K0VzZHnqZ/F/uJGvf zAa2W7UsAcH7JDMLY+x5l2bGeZGdyVwAYYQj7gAoDaw6cb7HllQmSdf9FdXGTP0T LzsuB440IF8Iqe8sC8t0UiDaoNSposisUOL8C6cRVg/rpfftph72d01xTAF3xA1k XESUJM2hLvBkjPX2hINqcNDQk252nuIeXFQgK6lbEv6ZDhboBf6EMvDhwTvZva6M pRxmvuO+xpOaNFVqzjbdcpCqgsj6sc7spEtZX/Yru39Y/6kbIHuzgYF5pVj2usEM +nnQctMwUezKlILCTsh+SIt/iU4yjLenFLkWMMhX9ibIs9/gvABdvh2N+trOfVhx yeWL7P5XGvOiKUGlb+pO0moEcRSS4qHf/OISmRq7I73QbsafBGbRRi7RYLiCsDIT x1I1oNbq1lw59/nFTdxNm494vUC8HMitgenEvgYy8C4jkrlFyyDf4mHs8njfJNC9 7ZFnuLIcwJgLZvwb7Kah =DS1y -----END PGP SIGNATURE-----
