Back to berkeley-abc PTS page

Accepted berkeley-abc 1.01+20140822hg4d547a5+dfsg-1+deb8u1 (source amd64) into proposed-updates->stable-new, proposed-updates



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