summaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorJakub Kądziołka <kuba@kadziolka.net>2020-05-22 16:58:15 +0200
committerJakub Kądziołka <kuba@kadziolka.net>2020-06-07 22:10:31 +0200
commit0601fb29fbfe353714ba596363be8a2f80151398 (patch)
treeec7845ecd62289b3d73cced3fe34263afa72e552 /gnu/packages/lean.scm
parentfae75ff9911b91a8c5ec257335c7ebed04c82929 (diff)
gnu: Add go-github-com-stretchr-objx.
* gnu/packages/golang.scm (go-github-com-stretchr-objx): New variable.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions