[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#761364: marked as done (ITP: berkeley-abc -- A System for Sequential Synthesis)

Your message dated Thu, 09 Oct 2014 17:00:09 +0000
with message-id <E1XcH4T-0005uk-GX@franck.debian.org>
and subject line Bug#761364: fixed in berkeley-abc 1.01+20140822hg4d547a5+dfsg-1
has caused the Debian Bug report #761364,
regarding ITP: berkeley-abc -- A System for Sequential Synthesis
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
761364: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=761364
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: ruben.undheim@gmail.com


* Package name    : abc
  Version         : 1.01-20140822hg4d547a5e065b
  Upstream Author : Berkeley Logic Synthesis and Verification Group
* URL             : http://www.eecs.berkeley.edu/~alanmi/abc/
* License         : MIT-similar (The Regents of the University of California)
  Programming Lang: C
  Description     : A System for Sequential Synthesis and Verification

ABC is a growing software system for synthesis and verification of
binary sequential logic circuits appearing in synchronous hardware
designs. ABC combines scalable logic optimization based on And-Inverter
Graphs (AIGs), optimal-delay DAG-based technology mapping for look-up
tables and standard cells, and innovative algorithms for sequential
synthesis and verification.


Please provide feedback on the naming of the package!
Perhaps the name "abc" is a bad name to use in debian although
it's the correct upstream name.

--- End Message ---
--- Begin Message --- 
Source: berkeley-abc
Source-Version: 1.01+20140822hg4d547a5+dfsg-1

We believe that the bug you reported is fixed in the latest version of
berkeley-abc, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 761364@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Ruben Undheim <ruben.undheim@gmail.com> (supplier of updated berkeley-abc package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


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

Format: 1.8
Date: Fri, 05 Sep 2014 21:17:26 +0200
Source: berkeley-abc
Binary: berkeley-abc
Architecture: source amd64
Version: 1.01+20140822hg4d547a5+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
Closes: 761364
Changes:
 berkeley-abc (1.01+20140822hg4d547a5+dfsg-1) unstable; urgency=low
 .
   * Initial release (Closes: #761364)
Checksums-Sha1:
 1f95af0288fbe9836e428335a622c07c4e64b884 2202 berkeley-abc_1.01+20140822hg4d547a5+dfsg-1.dsc
 99e3c973d3194752625962a80610bdc985049610 4595258 berkeley-abc_1.01+20140822hg4d547a5+dfsg.orig.tar.gz
 692fc272406b47312c6ccd452d121291b1896049 6000 berkeley-abc_1.01+20140822hg4d547a5+dfsg-1.debian.tar.xz
 a64b814fd2bbbec95eee677f0adbf2fa3d33326c 2942644 berkeley-abc_1.01+20140822hg4d547a5+dfsg-1_amd64.deb
Checksums-Sha256:
 ccaf4e168f609b04a9c212a24daae329eedc09cd9c27c8e9151e5a273ef0c2f4 2202 berkeley-abc_1.01+20140822hg4d547a5+dfsg-1.dsc
 f707447cf1d1f490f342e0d0cb4ea7dcad5e7c3cde8bbcee747f4a97de8208d5 4595258 berkeley-abc_1.01+20140822hg4d547a5+dfsg.orig.tar.gz
 f95ccb3bb29b7a633d907ed6836ee8b191032047fc3b56b9ecb48e43ab999c49 6000 berkeley-abc_1.01+20140822hg4d547a5+dfsg-1.debian.tar.xz
 2b781801326470822994fdd9a7ce5b65c2dfbbd7eb55a7a8e929e28126b61ded 2942644 berkeley-abc_1.01+20140822hg4d547a5+dfsg-1_amd64.deb
Files:
 0df732c4e05b7de4e66b226daec15e74 2942644 electronics optional berkeley-abc_1.01+20140822hg4d547a5+dfsg-1_amd64.deb
 3709a7fd0a0c7706bf390c52dc90b81d 2202 electronics optional berkeley-abc_1.01+20140822hg4d547a5+dfsg-1.dsc
 b83d4f02c4446955f5ab0380612495a3 4595258 electronics optional berkeley-abc_1.01+20140822hg4d547a5+dfsg.orig.tar.gz
 b214a5b00eefb2cafcb6d1fb1afde216 6000 electronics optional berkeley-abc_1.01+20140822hg4d547a5+dfsg-1.debian.tar.xz

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

iQIcBAEBCAAGBQJUJGoNAAoJEC/YvtrAIO7R9Z4QAKq5ONDOEqg+uZaY1yxwPAs8
wCU8IlgYvmgWG+r9NwKFi2g5PE8hTGVHrwgfp1J7zhycjzIxoiAVtwA3VgPNVda7
/Jzg8YVv2nLsEMvNts+pQPquTg9liu9jgrrcxIGuvZ+cUC9CI3eHWfbm2zuVyjXK
Ax8shrlqHzt4PHYo7qpE2qVZuEn58Q4emfFlcw04fPpXD0F1QzeISl2z0FRMzR1s
klGFXU7Fxc3TAlXKYCUsPYRUcdM3I500iRDqVdCFGTnksZ4ESVWP9Ym+j3aXwc50
daejGdjel5qrC1ePPNdEAOf3AVOoj7dyic+Z1Jf6qeA3/izfG8hGPcqwFpJRVtvK
QvO4OUKRwepokD3TRKquNnAjp3BFbUg0xlWGMdG+EneFHN/0SvAzTAd8Mle4dmqj
+v8Z2Ohe9QJrI2G8Ryt2IYn2XD7MI/XuzvPd8WC5rVIL/8u+TzJkcG92/O71hcJW
JktuxSG4YTPHAsDFQ4YA36OxlkjSn7eirFaFTTXVsHgfy3Ehz5fvZ4pcA97jt8w3
y3j78iesOPPKRabS54YJsU7C+2aOecc3ElCKvjpRk1av+ngRQDeyw/NeXJl2Zk66
setk3QXFmMasnuVLzlLb3UnUQWK+kUUmSkWUUIDO0xCVEwngxDitGhTh72SYCr9x
k4GS94y9Tlf1g1RgRsGT
=JWIh
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: