Back to berkeley-abc PTS page

Accepted berkeley-abc 1.01+20150706hgc3698e0+dfsg-1 (source amd64) into unstable



-----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-----