summaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorKatherine Cox-Buday <cox.katherine.e@gmail.com>2020-01-03 20:42:10 +0100
committerGuillaume Le Vaillant <glv@posteo.net>2020-01-03 20:45:49 +0100
commit13e3bc1c800b531d33bc64a1fea64a66dc5f9300 (patch)
tree59131104b241583f858740da58d1096d7221a4e8 /gnu/packages/lean.scm
parentc16e3dfb1c74ec55b629823784c773d2860433bc (diff)
downloadpatches-13e3bc1c800b531d33bc64a1fea64a66dc5f9300.tar
patches-13e3bc1c800b531d33bc64a1fea64a66dc5f9300.tar.gz
gnu: Add cl-ana.
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana, cl-ana): New variables. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions