[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gsrc-commit] trunk r9712: update lean4 to 4.4
|
From: |
Carl Hansen |
|
Subject: |
[Gsrc-commit] trunk r9712: update lean4 to 4.4 |
|
Date: |
Sun, 26 Nov 2023 00:30:21 -0500 (EST) |
|
User-agent: |
Bazaar (2.7.0dev1) |
------------------------------------------------------------
revno: 9712
revision-id: carlhansen@gnu.org-20231126053016-3rlimhvbo043hwrm
parent: carlhansen@gnu.org-20231126050835-0csejml5hl05m5c9
committer: carlhansen@gnu.org
branch nick: trunk
timestamp: Sat 2023-11-25 21:30:16 -0800
message:
update lean4 to 4.4
modified:
pkg/other/lean4/Makefile makefile-20230710184822-xw6fpmfpxysr7wef-3
=== modified file 'pkg/other/lean4/Makefile'
--- a/pkg/other/lean4/Makefile 2023-11-07 09:55:11 +0000
+++ b/pkg/other/lean4/Makefile 2023-11-26 05:30:16 +0000
@@ -21,7 +21,7 @@
NAME = lean4
GARNAME = lean4
-GARVERSION = 4
+GARVERSION = 4.4
HOME_URL = https://github.com/
DESCRIPTION = theorem prover and functional language
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Gsrc-commit] trunk r9712: update lean4 to 4.4,
Carl Hansen <=