Re: [Pkg-electronics-devel] Bug#761364: ITP: abc -- A System for Sequential Synthesis and Verification

2014-09-21 Thread Andreas Tille
Hi, On Sat, Sep 20, 2014 at 09:28:08AM +0300, أحمد المحمودي wrote: Actually I am a member of both teams, and I recall that I did fill some metafile in Debian science with info about packages maintained by pkg-electronics. ... which is great. If there is anything else to be

Re: [Pkg-electronics-devel] Bug#761364: ITP: abc -- A System for Sequential Synthesis and Verification

2014-09-20 Thread أحمد المحمودي
On Thu, Sep 18, 2014 at 10:25:55PM +0200, Andreas Tille wrote: I'd think they could save some time by using the Blends framework instead of maintaining Wiki pages with package names manually - but well obviously there is definitely a lack of communication between Debian Science and

Re: 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

Re: 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

Re: 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

Re: 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

Re: 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

Re: 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