tribes/guix
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-10 15:10:37 +02:00
Code Activity
Files
87d49c93c10f8ea4bb5a46c4032e88cb7094de39
guix/gnu/packages/lean.scm
Danny Milosavljevic e4ca2ae095 gnu: Add lean4. 
* gnu/packages/lean.scm (lean4): New variable.

Change-Id: I9f51b7475eabdecd98fb05378a2cf91ed516c5ed
2025-03-26 02:08:08 +01:00

7.9 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink