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

Bug#924294: marked as done (ITP: python-pycosat -- Python bindings to picosat)

Your message dated Mon, 11 Nov 2019 10:00:32 +0000
with message-id <E1iU6Uq-00039v-85@fasolo.debian.org>
and subject line Bug#924294: fixed in python-pycosat 0.6.3+dfsg-1
has caused the Debian Bug report #924294,
regarding ITP: python-pycosat -- Python bindings to picosat
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
924294: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=924294
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
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

--- End Message ---
--- Begin Message --- 
Source: python-pycosat
Source-Version: 0.6.3+dfsg-1

We believe that the bug you reported is fixed in the latest version of
python-pycosat, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 924294@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Andreas Tille <tille@debian.org> (supplier of updated python-pycosat package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 20 Aug 2019 11:06:13 +0200
Source: python-pycosat
Binary: python3-pycosat
Architecture: source amd64
Version: 0.6.3+dfsg-1
Distribution: unstable
Urgency: low
Maintainer: Debian Med Packaging Team <debian-med-packaging@lists.alioth.debian.org>
Changed-By: Andreas Tille <tille@debian.org>
Description:
 python3-pycosat - Python bindings to picosat
Closes: 924294
Changes:
 python-pycosat (0.6.3+dfsg-1) unstable; urgency=low
 .
   * Initial release. (Closes: #924294)
Checksums-Sha1:
 3b7b0c5719192be2f3135ac7475042b4b9e0adb2 2118 python-pycosat_0.6.3+dfsg-1.dsc
 f94af0254f44e846244b8ab528414354ef95cb67 10652 python-pycosat_0.6.3+dfsg.orig.tar.xz
 2c5fe153f4099b7c0897bfb606f38db0601be316 2784 python-pycosat_0.6.3+dfsg-1.debian.tar.xz
 fb8aed5bbe17d9da038b0395756d040c8b30494e 6648 python-pycosat_0.6.3+dfsg-1_amd64.buildinfo
 a273af11a8a4fe18e9da6f0440d92fbc2317a52b 17362 python3-pycosat-dbgsym_0.6.3+dfsg-1_amd64.deb
 e288b217e08193df10b64232bde4f57800483319 10770 python3-pycosat_0.6.3+dfsg-1_amd64.deb
Checksums-Sha256:
 f7935a9d167c7782aad4b49ae684143a2bba6e09f87d5d6e3accf93b8ad3a8f6 2118 python-pycosat_0.6.3+dfsg-1.dsc
 dc4bb3628f7374a05094a74c63bb97e733e1d040095ad0c161986e545f9fbf4f 10652 python-pycosat_0.6.3+dfsg.orig.tar.xz
 0456c828c3926cdb4baf0d2383e81f54aae2ef4b1cf1f600cb1b91fb9ed686d8 2784 python-pycosat_0.6.3+dfsg-1.debian.tar.xz
 43a595ebf6b6aafc39d44ea2f42884d25d70b5848bca85f9606844253f2a2214 6648 python-pycosat_0.6.3+dfsg-1_amd64.buildinfo
 d2fbc8948fceb66bb6fdafe63efcd4a51aad03bf7f62c6fd7ffc9c9cf172c525 17362 python3-pycosat-dbgsym_0.6.3+dfsg-1_amd64.deb
 6170089d19f814a850d1a7aeaa00f7fcc49b48e59192c3403dc031f152cc1019 10770 python3-pycosat_0.6.3+dfsg-1_amd64.deb
Files:
 de8df18df5b9c6856c3aece9d3fc4b24 2118 python optional python-pycosat_0.6.3+dfsg-1.dsc
 91b837103124448cd6e1bc667d7a9034 10652 python optional python-pycosat_0.6.3+dfsg.orig.tar.xz
 8a9ec04f6aad5576c6292eaf347af931 2784 python optional python-pycosat_0.6.3+dfsg-1.debian.tar.xz
 bccfb6882ff39ba3bbdd70fe64541075 6648 python optional python-pycosat_0.6.3+dfsg-1_amd64.buildinfo
 f57598b668e205f1b3b4cc435fe340f6 17362 debug optional python3-pycosat-dbgsym_0.6.3+dfsg-1_amd64.deb
 12ed92ea131e899ba6b01297c31364ef 10770 python optional python3-pycosat_0.6.3+dfsg-1_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQJFBAEBCAAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAl1buRoRHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtEJwA/7BF6MMB9O3LSeR/mJj2tYBeRhWXWqXjqu
bErR4lwo7WwHhH53wu9sI0NHsTGVidocD4rxZowvhM4qrtIDHv5yu8ROGjpbBM5v
TGCK/t4lObl9h1dTQvNMX6V3uyZRMHZcJeFWIj1+Emb8EGeIcs+UEZP1Dtw0dQNl
bpHnNYzWBvGhXll724SjZ4j52PszVtQq299LBZGQcfdO3sMi5yKlG12Kk7VRvADV
/WPBBUc6b9oHDa3yhhTuJf4nLPHc8TJrIHaKRMaqQg96yE73AFh1z+rsrtIlIX8/
Su+G7km+UcIFVkAM1tXdFWK70EAtst8oYm5/pMyPx5ANBBixRFr/TRDOIUEHhvkG
4zJHCSYCkLoWshdIJaFmRroUSrqpKnzMwwtaAHVRYTu6Flfw9zFundFYfPSW0rlR
A0HCZ1EoWFtFl5poVmrOnagbOBIvUfKdhwVLMdm5/tE+TVJpXM9ppJ9v4Gpz7OSa
IO9UPIP5m+k6SbZ/OiHXU2PLK/lFwHh3kR5RSqXIN6mDJ1Wuyzqfy4YSMt5TXyir
W9GOaZRnRnROUkc5KcX2B3HQxnCE1+Tzh50EhnfgsShLF+pfyo4krVkgE8bmJoKz
yxkdDs4oFaAgM5iXsDKv95xI4QPUAkyYFp/80bJn56mM8v4zvHULvGdTICdOIBej
m5W1O33AWwo=
=2334
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: