diff options
author | yuri <yuri@35697150-7ecd-e111-bb59-0022644237b5> | 2020-10-31 07:27:06 +0000 |
---|---|---|
committer | yuri <yuri@35697150-7ecd-e111-bb59-0022644237b5> | 2020-10-31 07:27:06 +0000 |
commit | 848c97fb8eb49ad77faa418a8ff0e5dfba3f0da9 (patch) | |
tree | 06476ce811281d7031714839a188e2034315df8f | |
parent | c5058d1cb797b3794b7af00f3473122d10a2ca01 (diff) | |
download | freebsd-ports-848c97fb8eb49ad77faa418a8ff0e5dfba3f0da9.tar.gz freebsd-ports-848c97fb8eb49ad77faa418a8ff0e5dfba3f0da9.tar.bz2 |
math/lean: Update 3.22.0 -> 3.23.0
Reported by: portscout
git-svn-id: http://svn.freebsd.org/ports/head@553737 35697150-7ecd-e111-bb59-0022644237b5
-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 9e618a1ae028..b48de2ac7852 100644 --- a/math/lean/Makefile +++ b/math/lean/Makefile @@ -2,7 +2,7 @@ PORTNAME= lean DISTVERSIONPREFIX= v -DISTVERSION= 3.22.0 +DISTVERSION= 3.23.0 CATEGORIES= math PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} diff --git a/math/lean/distinfo b/math/lean/distinfo index b109dcc910bb..a9bbcbd901e6 100644 --- a/math/lean/distinfo +++ b/math/lean/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1603843184 -SHA256 (leanprover-community-lean-v3.22.0_GH0.tar.gz) = f348c96661b0f299febb1d31c1254b342609163ebcc50d9a6a336c40c7da7e10 -SIZE (leanprover-community-lean-v3.22.0_GH0.tar.gz) = 1855685 +TIMESTAMP = 1604128105 +SHA256 (leanprover-community-lean-v3.23.0_GH0.tar.gz) = f77831bf3f31cbc4b4dbe44e1b84252624d138045ddb03d3575db8998e71f540 +SIZE (leanprover-community-lean-v3.23.0_GH0.tar.gz) = 1858631 |