aboutsummaryrefslogtreecommitdiff
GNU Guix consists of Scheme code that implements the deployment model
of the Nix package management tool.  In fact, it currently talks to a
build daemon whose code comes from Nix (see the manual for details.)

Nix was initially written by Eelco Dolstra; other people have been
contributing to it.  See `nix/AUTHORS' for details.

The list of GNU Guix contributors is now generated from the output of
'git log' and written to this file, as can be seen in release tarballs.
mmit/gnu/packages/lean.scm?id=46ec8592f7f59cde049c7870da719ff5a9d557c4'>gnu: lean: Update to 3.51.1....Zhu Zihao 2023-12-11gnu: lean: Use G-expressions....Zhu Zihao 2022-03-16gnu: Add python-mathlibtools....Pradana AUMARS 2022-03-11gnu: lean: Update to 3.41.0 and fixes toward cross-compilation....Maxim Cournoyer