Sören Tempel
|
f69a5ede64
|
gnu: Add python-pysmt.
* gnu/packages/patches/python-pysmt-fix-pow-return-type.patch:
New patch.
* gnu/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch:
New patch.
* gnu/local.mk (dist_patch_DATA): Add them.
* gnu/packages/python-xyz.scm (python-pysmt): New variable.
Signed-off-by: jgart <jgart@dismail.de>
|
2024-07-13 09:59:20 -05:00 |
|