-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 31 Mar 2015 16:12:51 +0200 Source: berkeley-abc Binary: berkeley-abc Architecture: source amd64 Version: 1.01+20141105hg5b5af75+dfsg-2 Distribution: unstable 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 780450 782027 Changes: berkeley-abc (1.01+20141105hg5b5af75+dfsg-2) unstable; urgency=medium . * debian/patches/04_memory_alignment_fix.patch: - Patch for memory alignment issue - already applied upstream * debian/patches/abc-bugfix-20150403.diff (Closes: #782027) * Patches from Johann Klammer (Thanks): - debian/patches/reproducibility.patch Patch for reproducibility (Closes: #780449) - debian/patches/writepla.patch Fixed "fails to export trivial .PLA files" (Closes: #780450) Checksums-Sha1: a27ce02cbe652a8304967f5387fd5dab20b8f770 2202 berkeley-abc_1.01+20141105hg5b5af75+dfsg-2.dsc f0c6c12d7fcb6c7e3d3191626d72dd920b91a489 7988 berkeley-abc_1.01+20141105hg5b5af75+dfsg-2.debian.tar.xz 8a0ce823b5ce0577b3ab0abfc89e9adbe6ba6a13 3373430 berkeley-abc_1.01+20141105hg5b5af75+dfsg-2_amd64.deb Checksums-Sha256: 473a8938440f8f8bdb85a6bcd317384ee30387db9ec9b09ca3d6f1e58548aaa8 2202 berkeley-abc_1.01+20141105hg5b5af75+dfsg-2.dsc 573ab6ae90b21d3cab9404b0c5551b8d0bd3115d91ede4e0022f48a29bd113b1 7988 berkeley-abc_1.01+20141105hg5b5af75+dfsg-2.debian.tar.xz 7f312c519b33eb961f966df8872805992369245a0ed1aa4f4dd9868be31df644 3373430 berkeley-abc_1.01+20141105hg5b5af75+dfsg-2_amd64.deb Files: 5e5732e955ecb758917497c89ebd1abf 2202 electronics optional berkeley-abc_1.01+20141105hg5b5af75+dfsg-2.dsc 04a6dc71c7906e2fb79d97728934cda4 7988 electronics optional berkeley-abc_1.01+20141105hg5b5af75+dfsg-2.debian.tar.xz b4e616dbb9a7671fb37f06877b8b98da 3373430 electronics optional berkeley-abc_1.01+20141105hg5b5af75+dfsg-2_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJVKxSGAAoJEC/YvtrAIO7RipcQAKGU0SpeZv+mLPsDAXU+mD5j +hRMHgEQKGPk9y195gw04W5REVjosmizETIjHG1EUXlOkrJ2uGMerKjIioalHXtW TkubALr15JpaxwmP4e1WO3tpGYnrfXoWPI1IR2J9C6VeUwV4wV9LL+BjyG0gjCmL El6/fY5dYhXLHmFc6OCpd6mUGd254qF9aw15SeKIoIPUUgRR3y5GnqFdTCAYxv2Q 5L02v4tSQoa3VNklaxZpeY+7jXuAQqQ7WYlr/+mTJ8OpjenOlUJrhBdgk1gt8J1X ddZNr0uFAdDCqYcvN2MCyBEYxqJreXoT9M/n0VYvwFx+ecn66N8S/+mHsmS/Cok6 ado/J9LukcEInFiZxPdKq0xgNhjmvSmSMmk91XEjlApRfMVB2D+h1CHeFZTzLDS4 dbsLfX5kQgL5ijsrye7QJKC6Odt0GODG/GZVgJoq23/QdlrjdCqWPKyfP4Bs37Jc pnxhnAqCVMLiHHeUTXx9oAk5qSf+mLkkg7a9w7ObzQszTDl+mzzSHQ7taVSgrZgY ZnKoBor6/KdmCTeGzDhgHNhsWK7IdXf80wzcqGJDrh0S1/WS4957WPzE+en+x2Lp w0ybrdwcZ1Mv84F/38hMP292s9X81Oot/Z626EaksImLfYrYBBQLKqkvtAvGbzJT Bz1/PFtScO+5i5GQnX1K =9ke9 -----END PGP SIGNATURE-----
