[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gsrc-commit] trunk r10366: update lean4 to 4.9.1
From: |
Carl Hansen |
Subject: |
[Gsrc-commit] trunk r10366: update lean4 to 4.9.1 |
Date: |
Thu, 25 Jul 2024 23:31:46 -0400 (EDT) |
User-agent: |
Bazaar (2.7.0dev1) |
------------------------------------------------------------
revno: 10366
revision-id: carlhansen@gnu.org-20240726033140-1w1juotyja9ug6qn
parent: carlhansen@gnu.org-20240724170406-x109p0yqwgv2jrbb
committer: carlhansen@gnu.org
branch nick: trunk
timestamp: Fri 2024-07-26 03:31:40 +0000
message:
update lean4 to 4.9.1
modified:
pkg/other/lean4/Makefile makefile-20230710184822-xw6fpmfpxysr7wef-3
pkg/other/lean4/sha256sums sha256sums-20230710184822-xw6fpmfpxysr7wef-4
=== modified file 'pkg/other/lean4/Makefile'
--- a/pkg/other/lean4/Makefile 2024-06-08 05:30:53 +0000
+++ b/pkg/other/lean4/Makefile 2024-07-26 03:31:40 +0000
@@ -21,7 +21,7 @@
NAME = lean4
GARNAME = lean4
-GARVERSION = 4.8.0
+GARVERSION = 4.9.1
HOME_URL = https://github.com/
DESCRIPTION = Lean4 theorem prover and functional language
=== modified file 'pkg/other/lean4/sha256sums'
--- a/pkg/other/lean4/sha256sums 2024-06-08 05:30:53 +0000
+++ b/pkg/other/lean4/sha256sums 2024-07-26 03:31:40 +0000
@@ -1,1 +1,1 @@
-3bb46c24b4f5ad1fee38163bf466d8f60a334bb64a19c9801a42f76162580f9c
download/v4.8.0.tar.gz
+713e41ec71a9e9030e6f46cc5dbb5aef30ac1887dfe5faa5a054c0a2f0613b1e
download/v4.9.1.tar.gz
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Gsrc-commit] trunk r10366: update lean4 to 4.9.1,
Carl Hansen <=