Re: Bug#761364: ITP: abc -- A System for Sequential Synthesis and Verification
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 part of the pkg-electronics team?
I'm not aware that such a team exists.
> What is really the
> difference between Debian-Science/electronics and pkg-electronics?
Debian Science is a Blend[1] featuring different tasks. One of it is
electronics. There are some more specific Blends covering fields like
Astronomy (Debian Astronomy), Biology (covered by Debian Med besides
medical care related packages), Chemestry (DebiChem) and Geographic
Information Systems (Debian GIS). While I personally would see some
room for a dedicated Debian Electronics Blend I was not aware that
pkg-electronics[2] exists. 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 pkg-electronics.
Since I personally have nothing to do I'd suggest to contact the
electronics experts and find out where you feel like home. :-) In any
case its fine to add the binary package names to Debian Science
electronics task since this is totally orthogonal to where a package is
maintained technically. Blends try to give a user oriented overview
(+installation method via metapackages) and users do not necessarily
need to know who actually did the packaging. I'm personally hoping for
some better communication by the pkg-electronics maintainers with Debian
Science and perhaps they might be interested in how they might be able
to enhance their workflow by tools which are designed to pool groups of
packages sensibly.
> I
> think at least the "secion" in the control file should be
> "electronics".
That's for granted.
> Regards,
> Ruben
Thanks for pointing us to pkg-electronics
Andreas.
[1] https://wiki.debian.org/DebianPureBlends
[2] https://alioth.debian.org/projects/pkg-electronics/
--
http://fam-tille.de
Reply to: