tribes/guix
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-08 06:00:36 +02:00
Code Activity
Files
java-team
guix/gnu/packages/lean.scm
Andreas Enge 404a14f879 gnu: Remove lean. 
* gnu/packages/lean.scm (lean): Delete variable.

Fixes: guix/guix#6239
Change-Id: I373c7d5c22de924fbc5d1db6967954173403c92e
2026-03-09 11:12:50 +01:00

8.6 KiB
Raw Permalink Blame History

View Raw
View Git Blame Copy Permalink