/etc/snippets/

• ../
• tempel
• yas

	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
2022-03-16	gnu: Add python-mathlibtools....	Pradana AUMARS
2022-03-11	gnu: lean: Update to 3.41.0 and fixes toward cross-compilation....	Maxim Cournoyer