-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sat, 22 Aug 2015 21:36:28 +0200
Source: berkeley-abc
Binary: berkeley-abc
Architecture: source amd64
Version: 1.01+20150706hgc3698e0+dfsg-2
Distribution: unstable
Urgency: low
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+20150706hgc3698e0+dfsg-2) unstable; urgency=low
.
* debian/man:
- Added more sensible info in man page
- Using txt2man to generate man page from .txt file
Checksums-Sha1:
4b6f3e19c149783aeefe88cc5f2e36c55ea6e36b 2247 berkeley-abc_1.01+20150706hgc3698e0+dfsg-2.dsc
05994c05ce3a95d9521b7e43d43efd1a56700df6 7412 berkeley-abc_1.01+20150706hgc3698e0+dfsg-2.debian.tar.xz
1cbef884ef4373efbec717cdfabd02f63f3654b7 3673998 berkeley-abc_1.01+20150706hgc3698e0+dfsg-2_amd64.deb
Checksums-Sha256:
6cb9c94446b057c2430ac8482372684da8adb9175f1946bfa4d23624c73efce7 2247 berkeley-abc_1.01+20150706hgc3698e0+dfsg-2.dsc
8facde62b02a081432a07a944696fa9f6ab271c77dae059563baf198aa14a046 7412 berkeley-abc_1.01+20150706hgc3698e0+dfsg-2.debian.tar.xz
850e17e72357bf063684e824b6ebd123c83f200b6ac1a059fe97fdba1eccf2fb 3673998 berkeley-abc_1.01+20150706hgc3698e0+dfsg-2_amd64.deb
Files:
bd92ec0050afa07647f8b16e1411958e 2247 electronics optional berkeley-abc_1.01+20150706hgc3698e0+dfsg-2.dsc
787e67f5084cbe8a3303de184ebf5fa1 7412 electronics optional berkeley-abc_1.01+20150706hgc3698e0+dfsg-2.debian.tar.xz
92ee98f16e72da1708016aa7fbf645e6 3673998 electronics optional berkeley-abc_1.01+20150706hgc3698e0+dfsg-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBAgAGBQJV2NKBAAoJEOaYIsfgKVjNpUAP/2SL4sS6WAn0OykGcgy/Xxus
eYAzq+qVDd2QLzrVVJAXeeO3fJfm7sof78fnAKnSLdWlrTAVqf7xWczikc0oIfFf
qF70fH1MR9EhxW8+JDnDjozHCMXB1i/Mxh6Sudy3m7FVbpoTYboEfhSWzq0pDWjj
+8P8qBkbTlmkkKPtdalWvQ8Umg8+uKEDU/DqZc/8Qpezhyd4LlG5iNKQGZ+0o7ca
B51UHrhNdEZ9ZLOagXoniK0JMJn/3ySIK4iPUkEv2MyfA/rqKyDHxSwX9183ime7
pe2EC4zsIL9MAUGrXcGULtx9GWFh2EoPguWugN7esunlGiTJSwn5apul9rK4nK23
lJEkvKGWiN6QFgP4Vpo2iuDfLnBrrgAUybW6oB9TAPmAV1XU2/Tc4sPY6XPRUWrT
I01ZBW7Xgo5/8Xq+SEDG/86+qPLHH3kSnWnH08JJAFb5rFNDH+gJoFC9mHcwnkjC
VbGHTamgg+hGHS/bLrFFfNZJHlSUxey6gYrDlcHXWxJjK4bIKK0nldgWTxYjj6Hy
AXwhqydJqNay4YrYon3dIiH8+Kvm3erqYl8fmZn9ebFjGpD+G/yPdTn1O/YTLWcC
XyllsDErKr+84fDsulfmbl3/tTrIv/lwhdZCH7X1X65EP6R+mojGatMqjNDv3lLo
uIuXWTe4VtThbd+bhg4G
=2/ML
-----END PGP SIGNATURE-----
