diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2023-05-26 05:29:00 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2023-05-26 05:29:42 +0000 |
| commit | 67f6f78612e40f802d0689e29e1849aa6caae994 (patch) | |
| tree | 8c90b6c0d86e0a98f713c3aac9e60f72bb4e6359 | |
| parent | 28954b6980c8d4967bada3c8fd71cf2916b64e8f (diff) | |
| download | ports-67f6f78612e40f802d0689e29e1849aa6caae994.tar.gz ports-67f6f78612e40f802d0689e29e1849aa6caae994.zip | |
math/lean: Update 3.51.0 → 3.51.1
Reported by: portscout
| -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 0f969fb9f61b..95a6a9ab39b3 100644 --- a/math/lean/Makefile +++ b/math/lean/Makefile @@ -1,6 +1,6 @@ PORTNAME= lean DISTVERSIONPREFIX= v -DISTVERSION= 3.51.0 +DISTVERSION= 3.51.1 CATEGORIES= math PATCH_SITES= https://github.com/${GH_ACCOUNT}/${GH_PROJECT}/commit/ diff --git a/math/lean/distinfo b/math/lean/distinfo index d44207c7230b..af11216dec38 100644 --- a/math/lean/distinfo +++ b/math/lean/distinfo @@ -1,5 +1,5 @@ -TIMESTAMP = 1684476450 -SHA256 (leanprover-community-lean-v3.51.0_GH0.tar.gz) = 32edaa6ee84f8af50a20f55162f0499c4cf196ba0834e93c610da266cd5d1d9a -SIZE (leanprover-community-lean-v3.51.0_GH0.tar.gz) = 1918905 +TIMESTAMP = 1685072378 +SHA256 (leanprover-community-lean-v3.51.1_GH0.tar.gz) = 5a4734bf345d6c5ba6eacd2d33d86d9540eea7d008b4ebf8dde126e729fcbcaf +SIZE (leanprover-community-lean-v3.51.1_GH0.tar.gz) = 1918894 SHA256 (5eecaa0b9c860858372a22ab242566671907c913.patch) = 971765311b28bfc850803f355e9607dee5aa537565d24ffdc52562b6d874e99a SIZE (5eecaa0b9c860858372a22ab242566671907c913.patch) = 3218 |