diff options
| author | Danny Milosavljevic <dannym@friendly-machines.com> | 2025-02-02 01:44:26 +0100 |
|---|---|---|
| committer | Danny Milosavljevic <dannym@friendly-machines.com> | 2025-02-02 01:44:26 +0100 |
| commit | e16d89d4c0ffcceaa89a29dbabd4a382d9a01375 (patch) | |
| tree | fe057d91f4e2ff0a57570b5e625c6e6dc2a66596 /gnu/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch | |
| parent | 3dd408f6aab959b527b3155c5249d18ccdc71651 (diff) | |
gnu: Add go-github-com-agnivade-levenshtein.
* gnu/packages/golang-xyz.scm (go-github-com-agnivade-levenshtein): New
variable.
Change-Id: I71383dd703bb9418db184cd4fd0f2fd82a907a48
Diffstat (limited to 'gnu/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch')
0 files changed, 0 insertions, 0 deletions