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

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



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


Reply to: