-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 13 Apr 2015 21:56:02 +0200
Source: berkeley-abc
Binary: berkeley-abc
Architecture: source amd64
Version: 1.01+20141105hg5b5af75+dfsg-3
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
Changes:
berkeley-abc (1.01+20141105hg5b5af75+dfsg-3) unstable; urgency=medium
.
* debian/patches/04_memory_alignment_fix.patch:
- Fixed error in patch..
Checksums-Sha1:
52fc9b48a2fa055583ede4bd6fb7584fd4ef120f 2202 berkeley-abc_1.01+20141105hg5b5af75+dfsg-3.dsc
ebdafe1e07697687a1e6283238ab36225fcd8784 8048 berkeley-abc_1.01+20141105hg5b5af75+dfsg-3.debian.tar.xz
2691ac9b92a417ff5df2ca9fb5d5620e815ff971 3372922 berkeley-abc_1.01+20141105hg5b5af75+dfsg-3_amd64.deb
Checksums-Sha256:
5574cfafe1b9fc545da82687a782b1815ce1199f16f924929ec0a867cd4ea34d 2202 berkeley-abc_1.01+20141105hg5b5af75+dfsg-3.dsc
03fafe3ef550cf54c557b0a36943c80492ac9869c7e43c45866bba2411dc2302 8048 berkeley-abc_1.01+20141105hg5b5af75+dfsg-3.debian.tar.xz
33f386e509b695299c1a3241741572ffaea18e57b0db5319605df9913e7d311f 3372922 berkeley-abc_1.01+20141105hg5b5af75+dfsg-3_amd64.deb
Files:
4cc967293086e84df6612c33b6f67957 2202 electronics optional berkeley-abc_1.01+20141105hg5b5af75+dfsg-3.dsc
8d36d71c148ef5059e82fb575f792c22 8048 electronics optional berkeley-abc_1.01+20141105hg5b5af75+dfsg-3.debian.tar.xz
607d2814ff409dac927906e254ddb965 3372922 electronics optional berkeley-abc_1.01+20141105hg5b5af75+dfsg-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJVMABiAAoJEC/YvtrAIO7RF2sP/0JQEpYqTBF1xaNsrGR1DWlr
D0/dyBhKcIDCFiQnOcH72jpKGS5S3nHYEgCFIguiv4+C+IY2V79gA/vEfhKPP65Z
fltFKAcMNf/EcZ0Y9b2lrKEh87uT3gzPAUGtCD2PAlCyq2ntxrGZOraLEtck3X+T
NNA7RcTCwozxSAoawiQPWppG0Pi/mTIIxNK0ezcsAUQ053SMIw0gHz74YLOgHr29
ql+5Wiy6dQa8NIGt1hbglHSybijg6z5mDOdNadpDp64RWsrO+AWURYHyCDL+roNT
+CZtBSJuHQM8VawsWR6gIBm9O2/fqu4ymOU+Z2pkEyOGBKryBw9Z3Mwj8nrMQShf
Mt++1GJEx648t1gcHl+irH3wcFsN5piOMvh62WihEnUBrd2VZI3Ux1yEHYNQDfhM
LJyHjgZW8qO/LQxkN5uoWRQgyzdRBCsJ30ho2LLOGyjooNCDKlJnXQJx2xcHJLXV
skKoTCDhKqC5aWcP0uYx0/W1StbtrnyzyVl3tsGJP8tgOnvp8aYHcb5Krt6CAHcp
DsT/rJmw2+j8IY64FIi+iiyPALEN9hcDVuozmrbaNrGOzO0Rp5fHiXUq8RHnZ88f
KoVrPeLrEh7DYsIRWlJhBjEZQk/wkcvgCbepkmpTDm/UnXLBijMlg9y5P0ap5+jE
BWhq2yQYI3t8eybG0Fc5
=5452
-----END PGP SIGNATURE-----
