/m4/

• ../
• guix.m4

	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
2021-12-13	gnu: Simplify package inputs....	Ludovic Courtès