[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gsrc-commit] $nick r11052: update lean4 to 4.15.0
|
From: |
carlhansen |
|
Subject: |
[Gsrc-commit] $nick r11052: update lean4 to 4.15.0 |
|
Date: |
Mon, 27 Jan 2025 11:59:09 -0800 |
|
User-agent: |
mail (GNU Mailutils 3.18) |
------------------------------------------------------------
revno: 11052
revision-id: carlhansen@gnu.org-20250127195904-vndk323vgu57cwfl
parent: carlhansen@gnu.org-20250127194948-0wqsz8jvnp929xlu
committer: carlhansen@gnu.org
branch nick: trunk
timestamp: Mon 2025-01-27 19:59:04 +0000
message:
update lean4 to 4.15.0
=== modified file 'pkg/other/lean4/Makefile'
--- a/pkg/other/lean4/Makefile 2024-12-14 03:09:42 +0000
+++ b/pkg/other/lean4/Makefile 2025-01-27 19:59:04 +0000
@@ -1,4 +1,4 @@
-# Copyright ©2023-2024 Carl Hansen <carlhansen@gnu.org>
+# Copyright ©2023-2025 Carl Hansen <carlhansen@gnu.org>
#
# This file is part of GSRC, the GNU Source
# http://www.gnu.org/software/gsrc
@@ -21,7 +21,7 @@
NAME = lean4
GARNAME = lean4
-GARVERSION = 4.14.0
+GARVERSION = 4.15.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-12-14 03:09:42 +0000
+++ b/pkg/other/lean4/sha256sums 2025-01-27 19:59:04 +0000
@@ -1,1 +1,1 @@
-c472518de47d10005784716ad83ffc6f02c99e8e639b04980db35b7f8e02682b
download/v4.14.0.tar.gz
+3bbba43d5582a917760ebde7d8fe7be90a629561bd67b4f678578239d18ba639
download/v4.15.0.tar.gz
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Gsrc-commit] $nick r11052: update lean4 to 4.15.0,
carlhansen <=