Re: Maintaining picosat in Debian Science team (Was: Bug#924294: ITP: python-pycosat -- Python bindings to picosat)
Hi again,
I'd like to inform you that I did a team upload of picosat 965.
I commited everything to
https://salsa.debian.org/science-team/picosat
and added you as a developer to the Debian Science team so you
have commit permissions to the repository.
Kind regards
Andreas.
On Mon, Mar 11, 2019 at 08:32:24AM +0100, Andreas Tille wrote:
> Hi Michael,
>
> when I was doing the packaging the Python API for picosat I realised
> that its lagging a bit behind upstream. I have not realised any
> drawback currently but when I checked I considered a good idea to
> maintain picosat in Debian Science team repository at salsa and
> use the team as maintainer. In case you might agree with this I'd
> volunteer to do the move and add you as Uploader.
>
> Kind regards
>
> Andreas.
>
> On Mon, Mar 11, 2019 at 07:24:25AM +0100, Andreas Tille wrote:
> > Package: wnpp
> > Severity: wishlist
> >
> > Subject: ITP: python-pycosat -- Python bindings to picosat
> > Package: wnpp
> > Owner: <>
> > Severity: wishlist
> >
> > * Package name : python-pycosat
> > Version : 0.6.3
> > Upstream Author : Ilan Schnell, Continuum Analytics, Inc.
> > * URL : https://pypi.org/project/pycosat/
> > * License : MIT
> > Programming Lang: Python
> > Description : Python bindings to picosat
> > PicoSAT is a popular SAT solver written by Armin Biere in pure C. This
> > package provides efficient Python bindings to picosat on the C level,
> > i.e. when importing pycosat, the picosat solver becomes part of the
> > Python process itself.
> >
> > Remark: This package is maintained by Debian Med Packaging Team at
> > https://salsa.debian.org/med-team/python-pycosat
> >
> > _______________________________________________
> > Debian-med-packaging mailing list
> > Debian-med-packaging@alioth-lists.debian.net
> > https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-med-packaging
>
> --
> http://fam-tille.de
>
>
--
http://fam-tille.de
Reply to: