/.mumi/

• ../
• config

	index : guix	koszko koszko-scripts
	Wojtek's customized Guix

aboutsummaryrefslogtreecommitdiff

log msg author committer range

path: root/gnu/packages/lean.scm

Age	Commit message (Expand)	Author