summaryrefslogtreecommitdiff
path: root/gnu/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch
diff options
context:
space:
mode:
authorDanny Milosavljevic <dannym@friendly-machines.com>2025-02-02 01:21:38 +0100
committerDanny Milosavljevic <dannym@friendly-machines.com>2025-02-02 01:21:38 +0100
commit4551b19eb6169da4e41413deee99aec6b142b9ad (patch)
tree021bbe181067a11bf6aec09162524fdbc8a45291 /gnu/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch
parent336d31b692bce1245acdee5644cc89e26648cbb6 (diff)
gnu: Add go-github-com-kevinmbeaulieu-eq-go-eq-go.
* gnu/packages/golang-xyz.scm (go-github-com-kevinmbeaulieu-eq-go-eq-go): New variable. Change-Id: Ieab9c041a4fd29a8e7d2149528eb91499a61de2e
Diffstat (limited to 'gnu/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch')
0 files changed, 0 insertions, 0 deletions