Ubuntu
python-pycosat package

python-pycosat 0.6.4+dfsg-1build1 source package in Ubuntu

Changelog

python-pycosat (0.6.4+dfsg-1build1) lunar; urgency=medium

  * Rebuild to drop Python 3.10 extension

 -- Jeremy Bicha <email address hidden>  Tue, 28 Feb 2023 19:39:27 -0500

Upload details

Uploaded by:
Jeremy Bícha
Uploaded to:
Lunar
Original maintainer:
Debian Med
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Mantic release universe misc
Lunar release universe misc

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-1build1.debian.tar.xz 3.3 KiB b0126fe195bcd08f8a0b134b5459db20d0d2028b7f33d33b2056d89839df0984
python-pycosat_0.6.4+dfsg-1build1.dsc 2.1 KiB a5485dd3a174e7ac299a56aa6f23514e42fe4d620d6eb5db1777ea28ee19b2aa

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