[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gsrc-commit] trunk r10876: update lean4 to 4.13.0
From: |
Carl Hansen |
Subject: |
[Gsrc-commit] trunk r10876: update lean4 to 4.13.0 |
Date: |
Sun, 1 Dec 2024 18:15:49 -0500 (EST) |
User-agent: |
Bazaar (2.7.0dev1) |
------------------------------------------------------------
revno: 10876
revision-id: carlhansen@gnu.org-20241201231544-t27frdcxypv4g1r5
parent: carlhansen@gnu.org-20241201215521-n9bjqw8e4u0e9b0h
committer: carlhansen@gnu.org
branch nick: trunk
timestamp: Sun 2024-12-01 23:15:44 +0000
message:
update lean4 to 4.13.0
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-10-28 01:08:44 +0000
+++ b/pkg/other/lean4/Makefile 2024-12-01 23:15:44 +0000
@@ -21,7 +21,7 @@
NAME = lean4
GARNAME = lean4
-GARVERSION = 4.12.0
+GARVERSION = 4.13.0
HOME_URL = https://lean-lang.org
DESCRIPTION = Lean4 theorem prover and functional language
define BLURB
=== modified file 'pkg/other/lean4/sha256sums'
--- a/pkg/other/lean4/sha256sums 2024-10-28 01:08:44 +0000
+++ b/pkg/other/lean4/sha256sums 2024-12-01 23:15:44 +0000
@@ -1,1 +1,1 @@
-409f623eb9044b3b025951415dfa0db531ed29056a5fba5d556394ad9435e62b
download/v4.12.0.tar.gz
+8392396c1b5fb6650277c1eac29ff6549a559c64c3eb3d88acb3cb2db05d3de1
download/v4.13.0.tar.gz
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Gsrc-commit] trunk r10876: update lean4 to 4.13.0,
Carl Hansen <=