-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Tue, 18 Aug 2015 12:16:35 +0200 Source: berkeley-abc Binary: berkeley-abc Architecture: source amd64 Version: 1.01+20150706hgc3698e0+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+20150706hgc3698e0+dfsg-1) unstable; urgency=low . * New upstream version Checksums-Sha1: c905c2b9bdca52a3c0481ae30e46920ed9a3badc 2200 berkeley-abc_1.01+20150706hgc3698e0+dfsg-1.dsc 5f0396c5c3f47ee752c3616810abc4bc01f7db30 4781952 berkeley-abc_1.01+20150706hgc3698e0+dfsg.orig.tar.gz 23aa3c0202aacbdbfeb13f2e7408d1207e004629 7172 berkeley-abc_1.01+20150706hgc3698e0+dfsg-1.debian.tar.xz 86d1f63059caeb097c3f8b98aada3ae543690a78 3672786 berkeley-abc_1.01+20150706hgc3698e0+dfsg-1_amd64.deb Checksums-Sha256: 238e9c3e2356f40a5774c11b81fe2aa68c815115f55cadaa9837b5f14cb99cf0 2200 berkeley-abc_1.01+20150706hgc3698e0+dfsg-1.dsc adf46643e20ece269c390d66e91b43999b32d509bbc12ba60f8812e2e9f83c53 4781952 berkeley-abc_1.01+20150706hgc3698e0+dfsg.orig.tar.gz ae5c3602be68ff97e813f8baefb38cb2e520ad884fe2c0877da3369ae04495d1 7172 berkeley-abc_1.01+20150706hgc3698e0+dfsg-1.debian.tar.xz adf9a31d15fe4ab7556639bb299f2ab39f4c61ee8809187cc74cb0e45b3790fa 3672786 berkeley-abc_1.01+20150706hgc3698e0+dfsg-1_amd64.deb Files: 863009e20b858da5f7557f21a315a030 2200 electronics optional berkeley-abc_1.01+20150706hgc3698e0+dfsg-1.dsc 62d6f33a4cb84085b9942a89451c7ec2 4781952 electronics optional berkeley-abc_1.01+20150706hgc3698e0+dfsg.orig.tar.gz edab7b01de109397788376a05de8cb73 7172 electronics optional berkeley-abc_1.01+20150706hgc3698e0+dfsg-1.debian.tar.xz 5625fd8ac5599b7189be03688960ff5b 3672786 electronics optional berkeley-abc_1.01+20150706hgc3698e0+dfsg-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBAgAGBQJV0y9EAAoJEOaYIsfgKVjNcWsP+wZq08cvFhTBrss+SpXRhrv5 HSXIqfWnUIh/XrvAV0YY167K1Qo3Ap6jlTinvivXS2qOsm4Eh8UYa+D5u7LCjefP mzPBk/EHA3N+GdEDV19QqUleL/X4HGPOdUSo1rbXv6yYAuONOGJY8xeeNhL6yYRp WCwqRbSHvxfArg6xdi0YVyCzBgfscRRAAADZcXgSx6e2zc+3/4UIAiXgKtOKS+JS t6cLMH+fovrBHW8sUOsmvBfczY2LnqNf3fJx+xBzEyIYFkGO7N3VoqiMgfUnX12r f76WsN8ptuKLsChtH5Y7pMOCy36vtovj80iVZoYvxR03e1aFqybDTP+ivT5MIDve aw9hZ+80lFpF+fots4Waaadw/h81COnKExfDmHyeUGTyhvC8+NFobTbLgbGamE1w eJdOHs4J2XX135Euys3EIItTj+e1Sbo4Ik8BMnQ35raRKib5j/FnfKxBoTksqtwW 7jNpanISLsR8HuE8IOhOM/NC+8tpmdOoUoOID2i9PVof/WAo1heJeovaZ1h0jrss D2oEBUddWL86VO25b3/eHvFZKHpHYlUafh47xMK80IwGnsEo5klm3mFitzSbO0Mz De030Gr/eLrgq+zjAr6mW2AvVwfUBcRGHWxllh+s4fjwrZZ1pFJt4tZiLYM7Ti1l oEvA8ULalDYvJ9SoSQe6 =SrpO -----END PGP SIGNATURE-----
