Bug#761364: ITP: abc -- A System for Sequential Synthesis and Verification

2014-09-18 Thread Ruben Undheim
Hi Andreas, I have now moved to alioth for the git repos, learnt how to use pristine-tar and related tools, and created the relevant branches. However, I'm a bit confused with something. Should I perhaps rather package it as part of the pkg-electronics team? What is really the difference between

Bug#761364: ITP: abc -- A System for Sequential Synthesis and Verification

2014-09-18 Thread Andreas Tille
Hi Ruben, On Thu, Sep 18, 2014 at 05:31:03PM +0200, Ruben Undheim wrote: I have now moved to alioth for the git repos, learnt how to use pristine-tar and related tools, and created the relevant branches. +1 However, I'm a bit confused with something. Should I perhaps rather package it as

Bug#761364: ITP: abc -- A System for Sequential Synthesis and Verification

2014-09-15 Thread Andreas Tille
Hi Ruben, thanks for this ITP. I guess you intend to maintain it in the Debian Science team since it perfectly fits into its electronics task. Please make sure it will be added to the tasks file (I'd happily proxy this work for you). The same is true for your other electronics relevant ITPs

Bug#761364: ITP: abc -- A System for Sequential Synthesis and Verification

2014-09-15 Thread Dirk Eddelbuettel
On 15 September 2014 at 17:33, Andreas Tille wrote: | On Sat, Sep 13, 2014 at 11:38:48AM +0200, ruben.undh...@gmail.com wrote: | 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. | | I admit I

Bug#761364: ITP: abc -- A System for Sequential Synthesis and Verification

2014-09-15 Thread Ruben Undheim
Hi Dirk and Andreas, Thanks for showing interest and responding! I did propose the name berkeley-abc quite quickly after first posting the ITP (and retitled the bug). It is already on mentors with that name (http://mentors.debian.net/package/berkeley-abc), and the executable is also called

Bug#761364: ITP: abc -- A System for Sequential Synthesis and Verification

2014-09-15 Thread Andreas Tille
Hi Ruben, On Mon, Sep 15, 2014 at 06:39:28PM +0200, Ruben Undheim wrote: Hi Dirk and Andreas, Thanks for showing interest and responding! I did propose the name berkeley-abc quite quickly after first posting the ITP (and retitled the bug). It is already on mentors with that name

Bug#761364: ITP: abc -- A System for Sequential Synthesis and Verification

2014-09-13 Thread ruben . undheim
Package: wnpp Severity: wishlist Owner: ruben.undh...@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 :

Bug#761364: ITP: abc -- A System for Sequential Synthesis and Verification

2014-09-13 Thread Ralf Treinen
On Sat, Sep 13, 2014 at 11:38:48AM +0200, ruben.undh...@gmail.com wrote: Package: wnpp Severity: wishlist Owner: ruben.undh...@gmail.com * Package name: abc Version : 1.01-20140822hg4d547a5e065b Upstream Author : Berkeley Logic Synthesis and Verification Group * URL