corner image corner image corner image corner image Debian NEW package overview for python-pycosat
python-pycosat_0.6.3+dfsg-1_amd64.changes (click to toggle)
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)
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
python-pycosat_0.6.3+dfsg-1.dsc (click to toggle)
Format:3.0 (quilt)
Source:python-pycosat
Binary:python3-pycosat
Architecture:any
Version:0.6.3+dfsg-1
Maintainer:Debian Med Packaging Team <debian-med-packaging@lists.alioth.debian.org>
Uploaders:Andreas Tille <tille@debian.org>
Homepage:https://pypi.org/project/pycosat/
Standards-Version:4.4.0
Vcs-Browser:https://salsa.debian.org/med-team/python-pycosat
Vcs-Git:https://salsa.debian.org/med-team/python-pycosat.git
Testsuite:autopkgtest, autopkgtest-pkg-python
Build-Depends:debhelper-compat (=12), dh-python, python3-all-dev, picosat
Package-List:python3-pycosat deb python optional arch=any
Files:
91b837103124448cd6e1bc667d7a9034 10652 python-pycosat_0.6.3+dfsg.orig.tar.xz
8a9ec04f6aad5576c6292eaf347af931 2784 python-pycosat_0.6.3+dfsg-1.debian.tar.xz
lintian 2.17.0~bpo9+1 check for python-pycosat_0.6.3+dfsg-1.dsc (click to toggle)
README.source for python-pycosat_0.6.3+dfsg-1.dsc (click to toggle)
No README.source in this package
control file for python3-pycosat_0.6.3+dfsg-1_amd64.deb (click to toggle)
Package:python3-pycosat
Source:python-pycosat
Version:0.6.3+dfsg-1
Architecture:amd64
Maintainer:Debian Med Packaging Team <debian-med-packaging@lists.alioth.debian.org>
Installed-Size:51
Depends:python3 (<<3.8), python3 (>=3.7~), libc6 (>=2.4), picosat (>=953)
Section:python
Priority:optional
Homepage:https://pypi.org/project/pycosat/
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.
lintian 2.17.0~bpo9+1 check for python3-pycosat_0.6.3+dfsg-1_amd64.deb (click to toggle)
contents of python3-pycosat_0.6.3+dfsg-1_amd64.deb (click to toggle)
drwxr-xr-x root/root         0 2019-08-20 09:06 ./
drwxr-xr-x root/root         0 2019-08-20 09:06 ./usr/
drwxr-xr-x root/root         0 2019-08-20 09:06 ./usr/lib/
drwxr-xr-x root/root         0 2019-08-20 09:06 ./usr/lib/python3/
drwxr-xr-x root/root         0 2019-08-20 09:06 ./usr/lib/python3/dist-packages/
-rw-r--r-- root/root      6371 2019-08-20 09:06 ./usr/lib/python3/dist-packages/pycosat-0.6.3.egg-info
-rw-r--r-- root/root     19656 2019-08-20 09:06 ./usr/lib/python3/dist-packages/pycosat.cpython-37m-x86_64-linux-gnu.so
drwxr-xr-x root/root         0 2019-08-20 09:06 ./usr/share/
drwxr-xr-x root/root         0 2019-08-20 09:06 ./usr/share/doc/
drwxr-xr-x root/root         0 2019-08-20 09:06 ./usr/share/doc/python3-pycosat/
-rw-r--r-- root/root       158 2019-08-20 09:06 ./usr/share/doc/python3-pycosat/README.Debian
-rw-r--r-- root/root       160 2019-08-20 09:06 ./usr/share/doc/python3-pycosat/changelog.Debian.gz
-rw-r--r-- root/root       767 2017-10-31 00:02 ./usr/share/doc/python3-pycosat/changelog.gz
-rw-r--r-- root/root      1425 2019-08-20 09:06 ./usr/share/doc/python3-pycosat/copyright
drwxr-xr-x root/root         0 2019-08-20 09:06 ./usr/share/doc/python3-pycosat/examples/
-rw-r--r-- root/root      8806 2017-10-31 00:02 ./usr/share/doc/python3-pycosat/examples/test_pycosat.py
control file for python3-pycosat-dbgsym_0.6.3+dfsg-1_amd64.deb (click to toggle)
Package:python3-pycosat-dbgsym
Source:python-pycosat
Version:0.6.3+dfsg-1
Architecture:amd64
Maintainer:Debian Med Packaging Team <debian-med-packaging@lists.alioth.debian.org>
Installed-Size:33
Depends:python3-pycosat (=0.6.3+dfsg-1)
Section:debug
Priority:optional
Description:
debug symbols for python3-pycosat
Auto-Built-Package:debug-symbols
Build-Ids:b0aae06f39ff83e19d9df587c1a622dc1d72ed7c
lintian 2.17.0~bpo9+1 check for python3-pycosat-dbgsym_0.6.3+dfsg-1_amd64.deb (click to toggle)
contents of python3-pycosat-dbgsym_0.6.3+dfsg-1_amd64.deb (click to toggle)
drwxr-xr-x root/root         0 2019-08-20 09:06 ./
drwxr-xr-x root/root         0 2019-08-20 09:06 ./usr/
drwxr-xr-x root/root         0 2019-08-20 09:06 ./usr/lib/
drwxr-xr-x root/root         0 2019-08-20 09:06 ./usr/lib/debug/
drwxr-xr-x root/root         0 2019-08-20 09:06 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root         0 2019-08-20 09:06 ./usr/lib/debug/.build-id/b0/
-rw-r--r-- root/root     23208 2019-08-20 09:06 ./usr/lib/debug/.build-id/b0/aae06f39ff83e19d9df587c1a622dc1d72ed7c.debug
drwxr-xr-x root/root         0 2019-08-20 09:06 ./usr/share/
drwxr-xr-x root/root         0 2019-08-20 09:06 ./usr/share/doc/
lrwxrwxrwx root/root         0 2019-08-20 09:06 ./usr/share/doc/python3-pycosat-dbgsym -> python3-pycosat

Timestamp: 20.08.2019 / 10:01:32 (UTC)