-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 28 Feb 2016 15:48:32 +0100
Source: berkeley-abc
Binary: berkeley-abc
Architecture: source
Version: 1.01+20160215hgae7d65e+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+20160215hgae7d65e+dfsg-1) unstable; urgency=low
.
* New upstream version
- Refreshed patches
* d/control:
- Vcs URLs now using https.
- Standards version 3.9.7 - no needed changes
* d/copyright: Updated copyright year for Debian packaging
Checksums-Sha1:
304e05d8236f5847c3a419a39c0b8cf49f1c545c 2204 berkeley-abc_1.01+20160215hgae7d65e+dfsg-1.dsc
cbfb52d425bb73c84dba89be5597b9be2ca776ab 4868618 berkeley-abc_1.01+20160215hgae7d65e+dfsg.orig.tar.gz
2690f7cfbde5e4ad9db222465a9f49f4a00eb761 7672 berkeley-abc_1.01+20160215hgae7d65e+dfsg-1.debian.tar.xz
Checksums-Sha256:
29fcc9825b0518f88ebeabb918481dbf1437d01e4ad899a30878302bc84449e4 2204 berkeley-abc_1.01+20160215hgae7d65e+dfsg-1.dsc
299225ab941c19be74f5535dd910778237ea6ad8d4c420e64a6b3a426baa79d8 4868618 berkeley-abc_1.01+20160215hgae7d65e+dfsg.orig.tar.gz
d95e8f75679d6ccf05519a99d1f01faf229d30c7e52b60c9b7367662ba9d0ce3 7672 berkeley-abc_1.01+20160215hgae7d65e+dfsg-1.debian.tar.xz
Files:
3b21cb6ef577025d8c31c7b0a946997a 2204 electronics optional berkeley-abc_1.01+20160215hgae7d65e+dfsg-1.dsc
ebe9f0263cde1be0d9c3c2f348f5420d 4868618 electronics optional berkeley-abc_1.01+20160215hgae7d65e+dfsg.orig.tar.gz
7a83536b313d127eaac05fd4802187ab 7672 electronics optional berkeley-abc_1.01+20160215hgae7d65e+dfsg-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCgAGBQJW0xR3AAoJEPxqH2TRCNERzOcQAIPkQCpA5NSHT3zCK/iKS7UF
IXQ+FjGuLWnD/hH4OoXZNifxJXrpfpHaBUlP3YbIZY2kLZTLTKuFK25Hpd59Z+uK
Wtl4SDSYtWQEDYS9Q+wf3hAWKx4KYwA0RNzcvost2TApICR7/uUHsf3fGPrpvqio
gJqlmMKJm0ocy66pxeXGgVeoKYVQkw60m9GfCBTfE+2CYjn9HoBvmMFoYYceyiiS
reNG3cjBmsHG9fcp30NQtozJCJ2tLDh4IMt3C97X/K0Vo/9QftgKnmwIlU43rotK
9jZ3jBjSl+mCfTEQu3CWA++wn6uxlVbk7UANABG+6frYI5r8b+FGL7Qw6fmHHDIG
RjEPY1DbV+P2gIr4+rnXltlEVZvziHEwf6th0nvM1bFsN2TL2qkcieqfA8aQOFpF
OWUCyzKXoYMdYfF5U1vYfFeeQm+ovnM7LpkG0/D8Cjv6XR4iY50kUDAVQtRFZN9c
yZGdJkSdGlAdyUidewR5PBCCc8WHoxXXmsXQd34zoDV/HoXgYmQej97hxQuzDHKm
yhLKFoAyWHp1d/Hn4+6jPuuqcerA2arFPC8TLjtuJkbPciy+NRWy2UYoQDGXm3su
bYRFW6jcSVRBGYXNseelJwlVYnSkV1bxjp4yDKMLfjCutyFXs10pEGk6xHiYaBJq
JXLWivX0QMR1FF5/BjcN
=EjYa
-----END PGP SIGNATURE-----
