;; This is a Guix channel. (channel (version 0) (news-file "etc/news.scm") (keyring-reference "keyring") (url "https://git.savannah.gnu.org/git/guix.git")) ;the primary URL on' href='/cgit-static/favicon.ico'/>
aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
AgeCommit message (Expand)Author
2022-03-16gnu: Add python-mathlibtools.Pradana AUMARS
2022-03-11gnu: lean: Update to 3.41.0 and fixes toward cross-compilation.Maxim Cournoyer
2021-12-13gnu: Simplify package inputs.Ludovic Courtès
2020-11-26gnu: lean: Trim synopsis.Tobias Geerinckx-Rice
2020-11-26gnu: lean: Update to 3.23.0.Tobias Geerinckx-Rice
2020-07-19gnu: lean: Disable test cases for i686 and armhf.Brett Gilio
2020-07-19gnu: lean: Update to 3.17.1.Brett Gilio
2020-03-28Update email address and Savannah handle for Amin Bandali.Amin Bandali