tribes/guix
1
0
Fork 1
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-30 22:35:57 +02:00
Code Activity
Files
1cc1dfbbb0be2e367cc9dcdcd825eea4aa11db6e
guix/gnu/packages/lean.scm
T
Amin Bandali db1bc0d92e gnu: Add lean. 
* gnu/local.mk (GNU_SYSTEM_MODULES): Add lean.scm.
* gnu/packages/lean.scm: New file.

Signed-off-by: Brett Gilio <brettg@gnu.org>
2020-01-03 15:46:53 -06:00

2.6 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink