Back to berkeley-abc PTS page

Accepted berkeley-abc 1.01+20141105hg5b5af75+dfsg-1 (source amd64) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 08 Nov 2014 23:22:34 +0100
Source: berkeley-abc
Binary: berkeley-abc
Architecture: source amd64
Version: 1.01+20141105hg5b5af75+dfsg-1
Distribution: unstable
Urgency: medium
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+20141105hg5b5af75+dfsg-1) unstable; urgency=medium
 .
   * New upstream version
   * Updated standards version to 3.9.6
   * Added new copyright info for new files to d/copyright
   * Regenerated all patches
   * Enabled hardening=+all
Checksums-Sha1:
 96eafc0b89db55d8ab1f82d7b7383bd227632745 2202 berkeley-abc_1.01+20141105hg5b5af75+dfsg-1.dsc
 1058ae0039d00304db9a9f02d1541f669968aca4 4583639 berkeley-abc_1.01+20141105hg5b5af75+dfsg.orig.tar.gz
 2c625eb02da60031a6760b21301d02e22f383a16 6220 berkeley-abc_1.01+20141105hg5b5af75+dfsg-1.debian.tar.xz
 0b335ff1a3b50f8c4260cfdfa76ad4f3f157f6b6 3372686 berkeley-abc_1.01+20141105hg5b5af75+dfsg-1_amd64.deb
Checksums-Sha256:
 1a28b4c4da23293fd189681b2239cd303a97c5367730591444db22f4f4819453 2202 berkeley-abc_1.01+20141105hg5b5af75+dfsg-1.dsc
 6f219481fd429255bc2db7c91eb3a1cb948e7f52454232c2ca138ea12be62048 4583639 berkeley-abc_1.01+20141105hg5b5af75+dfsg.orig.tar.gz
 9b74d92448b519c2b305e1c6153099c683e1e9544b31179ad326c720bcba65b6 6220 berkeley-abc_1.01+20141105hg5b5af75+dfsg-1.debian.tar.xz
 963817ad7edd9d79153e076d7c4b487b1ea0171327112f19a31d223a9e84814f 3372686 berkeley-abc_1.01+20141105hg5b5af75+dfsg-1_amd64.deb
Files:
 4731e019793d9af9b08bbf7f04a4b92a 3372686 electronics optional berkeley-abc_1.01+20141105hg5b5af75+dfsg-1_amd64.deb
 3138038ef9883b9fb7e2bb5aeda99a48 2202 electronics optional berkeley-abc_1.01+20141105hg5b5af75+dfsg-1.dsc
 4476b330932ade046cb4bd1ee0e56dce 4583639 electronics optional berkeley-abc_1.01+20141105hg5b5af75+dfsg.orig.tar.gz
 869ee0c9f41305394cc7f3f37e1889f6 6220 electronics optional berkeley-abc_1.01+20141105hg5b5af75+dfsg-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJUg7xVAAoJEC/YvtrAIO7R5/wP/06PMAviV1KkGI01faWzEIPc
P1onIBR6hNgN2LBNSlaTWHqDFgxVKAwawxs7ITB69vHLzs4Kur+xHpREg6adx9D2
ZOqgz9t3zkngr4KOTVsH7Z6n+DeKKllaw+92ZGkHUiwipObMgJU6y8ZPCSKXZ/M4
OSZ8Wm5H64YPt3ifTyEaTQAw/V5ILFsF5RK2gX8gcBFr3MKzpeF1sHIQ08V0AKKA
MYDhzzU+VQKnc8Chcd0U2cUziVMQqRrO4uz5ROS3vlV02RfwHVHHn5/w3m/9uc5k
qXI8EfqRxe2hZpVZeMYQbRkVxcxlbAHYE28XqKbUJ7dsLyPYnRM+5UK266EKhWc+
584lptVK1fZjXdyjJQJ52o19GRvglUAkRDSO197BXMWvtxGJRDWOVFTSV/Kw4hZz
06hqb6VjE8BS69rB2iQ4O7S7aajnQE2g/3Gu6vjDFuXYCemlJKNqDbiF2IEYqzAe
CVRxfFCIwdTs7agJjuRHH3n7QSUR+HL0BAuRcfTHY7DkDxYtlrcXPcASEwZGEbsx
TGu+nxnta9zbH+HIQAYxnFOoNVDPNvtfHiHc3K9jT1oU9tQCehmhsoMBVofg06U5
jXZgL19EHGlEojLTkSDGCIDXoXl6HhZWpwAjXGFUcjL7ybrP5k0VZzCJkjy8SUTJ
i8ijQ9VaqprRP7+mVOPU
=w7wn
-----END PGP SIGNATURE-----