]> git.pld-linux.org Git - packages/python-pycosat.git/log
projects / packages / python-pycosat.git / log
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
packages/python-pycosat.git
5 years agocleanup master
commit | commitdiff | tree
Elan Ruusamäe [Sun, 2 Dec 2018 12:17:22 +0000 (14:17 +0200)]
cleanup

5 years agoupdate BR
commit | commitdiff | tree
Elan Ruusamäe [Sun, 2 Dec 2018 12:15:01 +0000 (14:15 +0200)]
update BR

- python-devel -- pycosat.c:10:10: fatal error: Python.h: No such file or directory
- python-pytest -- /var/tmp/rpm-tmp.47927[35]: py.test-2: not found

5 years agonew; version 0.6.3
commit | commitdiff | tree
Elan Ruusamäe [Sat, 1 Dec 2018 22:50:23 +0000 (00:50 +0200)]
new; version 0.6.3

based on fedora package, 360c5fa

Python bindings to picosat (a SAT solver)
This page took 0.08491 seconds and 4 git commands to generate.