Re: Bug#616651: ITP: bool2cnf -- tool for converting a boolean formula into CNF
Le mercredi 25 mai 2011 à 13:56 +0200, Raphael Hertzog a écrit :
> Hi,
>
> On Wed, 25 May 2011, Thomas Krennwallner wrote:
> > > http://wiki.debian.org/DebianScience
> > > http://wiki.debian.org/DebianScience/Logic
> >
> > I didn't find time yet to package it, but I'll definitely assign it to
> > the logic flavor of DebianScience. I'll contact you for sponsoring once
> > it is stable. Thanks for the offer!
>
> So the best course is of course to integrate the package in the SVN or GIT
> repository of the team. And it would be ideal if the sponsor was part
> of the team (which I am not).
Once you think your package is ready to be uploaded, I can sponsor you.
Sylvestre
PS: Merci Raphael for the forward!
Reply to: