TakeV/guix
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

gnu: lean: Update to 3.17.1.

Browse source 
* gnu/packages/lean.scm (lean): Update to 3.17.1.
This commit is contained in:
Brett Gilio 2020-07-19 02:29:31 -05:00
parent 667903d143
commit 4deab59f5a
No known key found for this signature in database
GPG key ID: F6C52DD1BA27CB87
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
gnu/packages/lean.scm
View file

@ -1,5 +1,6 @@
;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2019 Amin Bandali <bandali@gnu.org>
;;; Copyright © 2020 Brett Gilio <brettg@gnu.org>
;;;
;;; This file is part of GNU Guix.
;;;
@ -26,7 +27,7 @@ (define-module (gnu packages lean)
(define-public lean
(package
(name "lean")
(version "3.5.0")
(version "3.17.1")
(home-page "https://github.com/leanprover-community/lean")
(source (origin
(method git-fetch)
@ -35,7 +36,7 @@ (define-public lean
(file-name (git-file-name name version))
(sha256
(base32
"1fdblq8ckrv6wqxfl4ybcs3ybfq7y096c9f5j4j75ymb14r401lr"))))
"15yfryg98x9lvy00v1w5kg4hp921mpvlxx1ic3m08k1ls6p1gkj4"))))
(build-system cmake-build-system)
(inputs
`(("gmp" ,gmp)))