[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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: