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
a84399eddfd3e55eedcef0283f2fcdff80f504b7
guix/gnu/packages/lean.scm
T
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