Re: Bug#761364: ITP: abc -- A System for Sequential Synthesis and Verification
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 berkeley-abc now.
I'm happy to maintain it as part of the Debian Science team, but I
will first then need to learn how this works.
Regards,
Ruben
2014-09-15 18:00 GMT+02:00 Dirk Eddelbuettel <edd@debian.org>:
>
> On 15 September 2014 at 17:33, Andreas Tille wrote:
> | On Sat, Sep 13, 2014 at 11:38:48AM +0200, ruben.undheim@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 immediately stumbled upon this name but I fail to give a
> | better alternative.
>
> Tricky.
>
> Wikipedia for 'abc' has seven entries in science and medicine alone, and
> three more in math (with the last one a new-ish estimation technique).
>
> Might be worthwile to prefix abc with something if anybody can come up with a
> good value for somehting...
>
> Dirk
>
> --
> http://dirk.eddelbuettel.com | @eddelbuettel | edd@debian.org
Reply to: