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-packag...@alioth-lists.debian.net > > https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-med-packaging > > -- > http://fam-tille.de > > -- http://fam-tille.de