diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2021-01-23 04:25:54 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2021-01-23 04:25:54 +0000 |
| commit | 664b23cd4bdcac347b3acdcce3d8bb24f204f344 (patch) | |
| tree | 825e73dd9998d2e579b6caa1c56d29fa28d88a97 /math | |
| parent | a1a1aa5a765c912b20cb60f060f0cf598110f642 (diff) | |
| download | ports-664b23cd4bdcac347b3acdcce3d8bb24f204f344.tar.gz ports-664b23cd4bdcac347b3acdcce3d8bb24f204f344.zip | |
Notes
Diffstat (limited to 'math')
| -rw-r--r-- | math/lean/Makefile | 2 | ||||
| -rw-r--r-- | math/lean/distinfo | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/math/lean/Makefile b/math/lean/Makefile index e2eaa2fb7677..4a5fc4100636 100644 --- a/math/lean/Makefile +++ b/math/lean/Makefile @@ -2,7 +2,7 @@ PORTNAME= lean DISTVERSIONPREFIX= v -DISTVERSION= 3.24.0 +DISTVERSION= 3.25.0 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org diff --git a/math/lean/distinfo b/math/lean/distinfo index 787e7ac0fea4..e642e2d4632d 100644 --- a/math/lean/distinfo +++ b/math/lean/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1609882303 -SHA256 (leanprover-community-lean-v3.24.0_GH0.tar.gz) = 1f159daff229de090524dba8649276786aa15f84e006e0ca104d9d36f9dbc1d7 -SIZE (leanprover-community-lean-v3.24.0_GH0.tar.gz) = 1860634 +TIMESTAMP = 1611374958 +SHA256 (leanprover-community-lean-v3.25.0_GH0.tar.gz) = 1c6a9e5f42ba77d63862700560f4442a2fc9ca2247a9b8219b9cec4f617c9f0b +SIZE (leanprover-community-lean-v3.25.0_GH0.tar.gz) = 1862968 |