diff options
| author | Danny Milosavljevic <dannym@friendly-machines.com> | 2025-02-02 01:39:55 +0100 |
|---|---|---|
| committer | Danny Milosavljevic <dannym@friendly-machines.com> | 2025-02-02 01:39:55 +0100 |
| commit | 3dd408f6aab959b527b3155c5249d18ccdc71651 (patch) | |
| tree | f3d866eab1cb85f06f76b507a9a59d4192eb60ca /gnu/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch | |
| parent | 634d534a464da49a9621938ceccec48fee59831d (diff) | |
gnu: Add go-github-com-dgryski-trifles-leven.
* gnu/packages/golang-xyz.scm (go-github-com-dgryski-trifles-leven): New
variable.
(go-github-com-dgryski-trifles): New variable.
Change-Id: I6cb08db456c7a8a6f321db4c677f117bd42c0a78
Diffstat (limited to 'gnu/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch')
0 files changed, 0 insertions, 0 deletions