-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Fri, 29 May 2015 16:20:05 +0200 Source: berkeley-abc Binary: berkeley-abc Architecture: source amd64 Version: 1.01+20150424hg779de2d+dfsg-1 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+20150424hg779de2d+dfsg-1) unstable; urgency=low . * New upstream release Checksums-Sha1: 6edd7d53b17269e9a4cd64386bc8896d1f5eace3 2200 berkeley-abc_1.01+20150424hg779de2d+dfsg-1.dsc c7181f3602560d4086810962e5f78f1cc6cb9d68 4774942 berkeley-abc_1.01+20150424hg779de2d+dfsg.orig.tar.gz 612d1e73070d416ebfcaf05ec16272cc97baffd0 7152 berkeley-abc_1.01+20150424hg779de2d+dfsg-1.debian.tar.xz b38cfb070e3b3016f1fb5011e20d832952a1c9a0 3676926 berkeley-abc_1.01+20150424hg779de2d+dfsg-1_amd64.deb Checksums-Sha256: bc3a9f3419f5dfcb0b9d4cc9ad0dbc3999a94ce202f9645b9293f0b17393a602 2200 berkeley-abc_1.01+20150424hg779de2d+dfsg-1.dsc 5939a56bf566d16bba1320f6cb0f4fa160fc542855bd734b0b816bac40b462ea 4774942 berkeley-abc_1.01+20150424hg779de2d+dfsg.orig.tar.gz a799321a56bb30b14afabf684436c3308a78ba1fd9f58e76afface5e85df2dd6 7152 berkeley-abc_1.01+20150424hg779de2d+dfsg-1.debian.tar.xz 6615d8379afabb0d54145ac964883396af24a616b1a931400a386b6c6a29b51b 3676926 berkeley-abc_1.01+20150424hg779de2d+dfsg-1_amd64.deb Files: 3d9c7922621b01d50096bbfb7504353a 2200 electronics optional berkeley-abc_1.01+20150424hg779de2d+dfsg-1.dsc 236b4d65d0744d3d97b7896447df1ebd 4774942 electronics optional berkeley-abc_1.01+20150424hg779de2d+dfsg.orig.tar.gz 045f2b45fb514f28e94a102a1ca74f0b 7152 electronics optional berkeley-abc_1.01+20150424hg779de2d+dfsg-1.debian.tar.xz fe85b5b20ebf4f6db21910822a99dafe 3676926 electronics optional berkeley-abc_1.01+20150424hg779de2d+dfsg-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBAgAGBQJVaHnPAAoJEOaYIsfgKVjN0nIQAIjR/xFLhcO8CrXPjBd21nra GjsOxyvM+Z7a7WZfxu1Xz6PWExbUsyzpc+nxlUiqKU2C0M75qRTq9ivfr4/oAHlX 2RKXYigBonuHGDM1VNukJAGvO8xPU/78N7oOUdRmhMfrdOekNLTnRV4/zNijytf1 Hi0a2RZqC4NAkefM2II3ALYKmhRdJXz16dl1w7qrjgIzF4TLSvErGV35rAH1jCYB VQGEzz3vxdChaRHMYFsKosnw/1Ifa5req3tBSzYYX9vdCSXYv7YnX58IHUwl0x3/ 4eTkS1v+EDxh12afqeZNceug/wq09lXdLH4HbQaxBXJUqGFV1n6KziFBdFzAnOor PR7oIK3vIT2DyJAl5cVC4cNMR7gFOCNE2MetRMrwXHC5cX637ugQZNUCCzmG97ew cwpxrkv3sIXOuPgfATp9LSBhc1GbF8Zttpw11sYUR3Vvr9i10873cd8CA1w/NCEG BYL4jxzmNf9+4LIRswnZAFfzuQ2Dg1MWRwcU7fPt89bgL9j8bd5d1LZnUTgQP4o8 XJq0v/ipLpJ12Lz0T6Pb83yfPl5Do4N1WJ6jtrX9ecPYJQzJtjgEoPWyqDGbTiOA eAmR4XdZgMVtytM5kaI8WWdVSiOmmRziuLtQSH8XvMQZBlFb6XDWv+R+lmDsefy/ p8vcmEP+LRsbqMTKWam8 =1G1Z -----END PGP SIGNATURE-----
