| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-07-13 | gnu: Add python-pysmt. | Sören Tempel | |
| * 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 <[email protected]> | |||
 |
index : guix | |
| Personal fork of GNU Guix |
| summaryrefslogtreecommitdiff |