GNU transactional package management, distribution, deployment, and more! http://git.rostovtsev.org/guix/atom?h=master 2025-02-02T22:05:46Z 2025-02-02T22:05:46Z Nguyễn Gia Phong mcsinyx@disroot.org 2025-02-02T21:59:05Z urn:sha1:4fccad83875cf8f5846b181525f814ce5c240ef9 * 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 <ngraves@ngraves.fr> Signed-off-by: Leo Famulari <leo@famulari.name> 2024-07-13T14:59:20Z Sören Tempel soeren@soeren-tempel.net 2024-07-11T21:27:16Z urn:sha1:f69a5ede640bba3faa2072c5c80e7961fb9da8cf * 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>