python-pycosat 0.6.4+dfsg-1build2 source package in Ubuntu
Changelog
python-pycosat (0.6.4+dfsg-1build2) noble; urgency=medium * No-change rebuild with Python 3.12 as supported version -- Graham Inggs <email address hidden> Tue, 31 Oct 2023 17:50:12 +0000
Upload details
- Uploaded by:
- Graham Inggs
- Uploaded to:
- Noble
- Original maintainer:
- Debian Med
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
python-pycosat_0.6.4+dfsg.orig.tar.xz | 15.4 KiB | 5d48321ef2948eaeb15859f050767d015ba6ecd6c9e21f390c6108c03fbf3bca |
python-pycosat_0.6.4+dfsg-1build2.debian.tar.xz | 3.4 KiB | 790cf7fee1f80fa7b54bec098753c7370c3d6290d8c12ca9893eb6fd1fec41ca |
python-pycosat_0.6.4+dfsg-1build2.dsc | 2.1 KiB | 28ab8b014664da769cadc97c48fe856587ad90263c1edb53c6e92aa7e1b97c05 |
Available diffs
Binary packages built by this source
- python3-pycosat: 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.
- python3-pycosat-dbgsym: debug symbols for python3-pycosat