tribes/guix
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-11 15:40:31 +02:00
Code Activity
Files
a67b82475dc14d0be7e14a5438ce70fa94de1907
guix/gnu/packages/lean.scm
Tobias Geerinckx-Rice 1df6f0f085 gnu: lean: Trim synopsis. 
* gnu/packages/lean.scm (lean)[synopsis]: Remove article & package name.
2020-11-26 04:22:51 +01:00

3.1 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink