-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Fri, 05 Sep 2014 21:17:26 +0200 Source: berkeley-abc Binary: berkeley-abc Architecture: source amd64 Version: 1.01+20140822hg4d547a5+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 Closes: 761364 Changes: berkeley-abc (1.01+20140822hg4d547a5+dfsg-1) unstable; urgency=low . * Initial release (Closes: #761364) Checksums-Sha1: 1f95af0288fbe9836e428335a622c07c4e64b884 2202 berkeley-abc_1.01+20140822hg4d547a5+dfsg-1.dsc 99e3c973d3194752625962a80610bdc985049610 4595258 berkeley-abc_1.01+20140822hg4d547a5+dfsg.orig.tar.gz 692fc272406b47312c6ccd452d121291b1896049 6000 berkeley-abc_1.01+20140822hg4d547a5+dfsg-1.debian.tar.xz a64b814fd2bbbec95eee677f0adbf2fa3d33326c 2942644 berkeley-abc_1.01+20140822hg4d547a5+dfsg-1_amd64.deb Checksums-Sha256: ccaf4e168f609b04a9c212a24daae329eedc09cd9c27c8e9151e5a273ef0c2f4 2202 berkeley-abc_1.01+20140822hg4d547a5+dfsg-1.dsc f707447cf1d1f490f342e0d0cb4ea7dcad5e7c3cde8bbcee747f4a97de8208d5 4595258 berkeley-abc_1.01+20140822hg4d547a5+dfsg.orig.tar.gz f95ccb3bb29b7a633d907ed6836ee8b191032047fc3b56b9ecb48e43ab999c49 6000 berkeley-abc_1.01+20140822hg4d547a5+dfsg-1.debian.tar.xz 2b781801326470822994fdd9a7ce5b65c2dfbbd7eb55a7a8e929e28126b61ded 2942644 berkeley-abc_1.01+20140822hg4d547a5+dfsg-1_amd64.deb Files: 0df732c4e05b7de4e66b226daec15e74 2942644 electronics optional berkeley-abc_1.01+20140822hg4d547a5+dfsg-1_amd64.deb 3709a7fd0a0c7706bf390c52dc90b81d 2202 electronics optional berkeley-abc_1.01+20140822hg4d547a5+dfsg-1.dsc b83d4f02c4446955f5ab0380612495a3 4595258 electronics optional berkeley-abc_1.01+20140822hg4d547a5+dfsg.orig.tar.gz b214a5b00eefb2cafcb6d1fb1afde216 6000 electronics optional berkeley-abc_1.01+20140822hg4d547a5+dfsg-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJUJGoNAAoJEC/YvtrAIO7R9Z4QAKq5ONDOEqg+uZaY1yxwPAs8 wCU8IlgYvmgWG+r9NwKFi2g5PE8hTGVHrwgfp1J7zhycjzIxoiAVtwA3VgPNVda7 /Jzg8YVv2nLsEMvNts+pQPquTg9liu9jgrrcxIGuvZ+cUC9CI3eHWfbm2zuVyjXK Ax8shrlqHzt4PHYo7qpE2qVZuEn58Q4emfFlcw04fPpXD0F1QzeISl2z0FRMzR1s klGFXU7Fxc3TAlXKYCUsPYRUcdM3I500iRDqVdCFGTnksZ4ESVWP9Ym+j3aXwc50 daejGdjel5qrC1ePPNdEAOf3AVOoj7dyic+Z1Jf6qeA3/izfG8hGPcqwFpJRVtvK QvO4OUKRwepokD3TRKquNnAjp3BFbUg0xlWGMdG+EneFHN/0SvAzTAd8Mle4dmqj +v8Z2Ohe9QJrI2G8Ryt2IYn2XD7MI/XuzvPd8WC5rVIL/8u+TzJkcG92/O71hcJW JktuxSG4YTPHAsDFQ4YA36OxlkjSn7eirFaFTTXVsHgfy3Ehz5fvZ4pcA97jt8w3 y3j78iesOPPKRabS54YJsU7C+2aOecc3ElCKvjpRk1av+ngRQDeyw/NeXJl2Zk66 setk3QXFmMasnuVLzlLb3UnUQWK+kUUmSkWUUIDO0xCVEwngxDitGhTh72SYCr9x k4GS94y9Tlf1g1RgRsGT =JWIh -----END PGP SIGNATURE-----
