/po/

• ../
• doc
• guix
• packages

	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
2020-03-28	Update email address and Savannah handle for Amin Bandali....	Amin Bandali
2020-01-17	Update email address for Amin Bandali....	Amin Bandali
2020-01-03	gnu: Add lean....	Amin Bandali