summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authoryuri <yuri@35697150-7ecd-e111-bb59-0022644237b5>2020-10-31 07:27:06 +0000
committeryuri <yuri@35697150-7ecd-e111-bb59-0022644237b5>2020-10-31 07:27:06 +0000
commit848c97fb8eb49ad77faa418a8ff0e5dfba3f0da9 (patch)
tree06476ce811281d7031714839a188e2034315df8f
parentc5058d1cb797b3794b7af00f3473122d10a2ca01 (diff)
downloadfreebsd-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/Makefile2
-rw-r--r--math/lean/distinfo6
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