Back to berkeley-abc PTS page

Accepted berkeley-abc 1.01+20181130git163bba5+dfsg-1 (source) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Mon, 03 Dec 2018 20:51:46 +0000
Source: berkeley-abc
Binary: berkeley-abc
Architecture: source
Version: 1.01+20181130git163bba5+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+20181130git163bba5+dfsg-1) unstable; urgency=medium
 .
   * New upstream version
   * debian/control:
     - New standards version 4.2.1 - no changes
   * debian/upstream/metadata: Add upstream metadata file
   * debian/watch: Improve mangling
Checksums-Sha1:
 01b06335a8c822423b7ce8d7bb860dabd1a08c48 2387 berkeley-abc_1.01+20181130git163bba5+dfsg-1.dsc
 219684e4fff4b3fff1fe55dac1c27f0afe0504a4 3673248 berkeley-abc_1.01+20181130git163bba5+dfsg.orig.tar.xz
 98f16c6450bebc50559529794ec08eafb997c030 14864 berkeley-abc_1.01+20181130git163bba5+dfsg-1.debian.tar.xz
Checksums-Sha256:
 e3637e56a614cb1dc5ec4bcf34b4571f7a2bd0c4187c5434b07fe9d5a4f7b8cf 2387 berkeley-abc_1.01+20181130git163bba5+dfsg-1.dsc
 c2935288a87a5c364310313ed88864e2bfc1646f418c728a216662d1b092b14c 3673248 berkeley-abc_1.01+20181130git163bba5+dfsg.orig.tar.xz
 0a13a54a2bf64e4f860a93ba2dbf667ebba1b057733effb1fcacfcfcab2ffc7d 14864 berkeley-abc_1.01+20181130git163bba5+dfsg-1.debian.tar.xz
Files:
 5a451ed913d5f06bbc01ce2d4d6eb749 2387 electronics optional berkeley-abc_1.01+20181130git163bba5+dfsg-1.dsc
 c961a5e3e011a0293bc7f20b6cb3ed20 3673248 electronics optional berkeley-abc_1.01+20181130git163bba5+dfsg.orig.tar.xz
 4f88cfb6cd8846ed35cc969404e90614 14864 electronics optional berkeley-abc_1.01+20181130git163bba5+dfsg-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJMBAEBCgA2FiEETeTfPeKePuppVOXOGnb1/BKWi3kFAlwFnIwYHHJ1YmVuLnVu
ZGhlaW1AZ21haWwuY29tAAoJEBp29fwSlot5mpAQAINV5/FuBhRZHfcC23CR4rh7
HTxVGLqQ2qU1bAnDHR+2IUdo+R1RcpK8GopdAnC+H/MpL2eoqECgpPwHjdecDK06
6e1uc2xh4s9PcDUVdBBlGOxBJbk0MU+ODjGAPGbijsZGKix5CyRFm4QJVOxdJyyO
kApy2NnRbZGqbyilyfJbSBTS3EX6m9JN8nWWnuKEtEeo5zhQ8mpOpbQxoP2vUiJL
CNuj++I5mI/2TewffiHkQRaTuEVTZ6G6fGZ41COD4FRtdcUyIx/ltYXdljDrOgTU
/DzdWkpZHRkb+aEyr1mtQS9hmnZguqli/jnavujNQcLyDbufHp/0Ob4jEpKNHSCC
sdnQmI3pe4dug3qULf7WjDBjBOGrN911I6WEkfScOI26tKCM05INZKbE7OLNoAQ5
sRmwCJPYdv0jV5ByaZM66YOQz54D+HjA0v8luX8JKC8/RHEEPND+euaCeyktSmhV
muKGh9ZjmRvoQy93Ry72TlsQWVER2FC8dfF188iMHrqpcDLdmnXQLUPB5ULl7OWk
Y2xwkK12St7y9fIiq111FDXXU7SYUL6QUBJWKpciCXUC9Ju/GhXYrMgWmyPCGA2u
GfgcLHbJBUvr2NLQDFAnEaH+04WGXfo53IlsGGTyNXYSwN7YXdsFXQuTFOgr2Oo3
MI2DHpTbGzSJQLv+9Xnv
=L1cH
-----END PGP SIGNATURE-----