Bug#924294: Maintaining picosat in Debian Science team (Was: Bug#924294: ITP: python-pycosat -- Python bindings to picosat)

2019-08-20 Thread Andreas Tille
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, Ma

Bug#924294: Maintaining picosat in Debian Science team (Was: Bug#924294: ITP: python-pycosat -- Python bindings to picosat)

2019-03-11 Thread Andreas Tille
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 mainta

Bug#924294: ITP: python-pycosat -- Python bindings to picosat

2019-03-10 Thread Andreas Tille
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/pro