Ubuntu
python-pycosat package

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 Pocket 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

View changes file

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