| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2025-02-02 | gnu: python-pysmt: Update to 0.9.6. | Nguyễn Gia Phong | |
| * gnu/packages/python-xyz.scm (python-pysmt): Update to 0.9.6. [source]: Remove obsolete patches. * gnu/packages/patches/python-pysmt-fix-pow-return-type.patch, gnu/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch: Delete files. * gnu/local.mk (dist_patch_DATA): Remove them. Change-Id: I3772e8b118f122ddd66644a459a483183ef89193 Reviewed-by: Nicolas Graves <[email protected]> Signed-off-by: Leo Famulari <[email protected]> | |||
| 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 |