diff options
| author | Danny Milosavljevic <dannym@friendly-machines.com> | 2025-02-02 01:29:29 +0100 |
|---|---|---|
| committer | Danny Milosavljevic <dannym@friendly-machines.com> | 2025-02-02 01:29:29 +0100 |
| commit | 20599e56a6f66cad60bec81f8e626cc553930733 (patch) | |
| tree | 91c4394e66635be35e90ea3c9f8a4c737a84202e /gnu/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch | |
| parent | 4551b19eb6169da4e41413deee99aec6b142b9ad (diff) | |
gnu: Add go-github-com-sosodev-duration.
* gnu/packages/golang-xyz.scm (go-github-com-sosodev-duration): New variable.
Change-Id: I26d130fb8372ad0f635fd7eacbce314dc65c38be
Diffstat (limited to 'gnu/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch')
0 files changed, 0 insertions, 0 deletions