summaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorKatherine Cox-Buday <cox.katherine.e@gmail.com>2023-01-17 18:45:00 -0700
committerChristopher Baines <mail@cbaines.net>2023-02-07 00:05:53 +0100
commit068a3709dc45264145e5e82c87d569a2ba5f1354 (patch)
tree8ca5be4d008541ca32d8fc65906428e9444a2760 /gnu/packages/lean.scm
parent502f7ed25c86b1037ba51fe419a6e172d6fda94e (diff)
gnu: Add go-github-com-client9-misspell.
* gnu/packages/golang.scm (go-github-com-client9-misspell): New variable. Signed-off-by: Christopher Baines <mail@cbaines.net>
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions