svn commit: r548214 - head/math/lean
Yuri Victorovich
yuri at FreeBSD.org
Thu Sep 10 18:14:46 UTC 2020
Author: yuri
Date: Thu Sep 10 18:14:45 2020
New Revision: 548214
URL: https://svnweb.freebsd.org/changeset/ports/548214
Log:
math/lean: Update 3.19.0 -> 3.20.0
Reported by: portscout
Modified:
head/math/lean/Makefile
head/math/lean/distinfo
head/math/lean/pkg-plist
Modified: head/math/lean/Makefile
==============================================================================
--- head/math/lean/Makefile Thu Sep 10 18:14:03 2020 (r548213)
+++ head/math/lean/Makefile Thu Sep 10 18:14:45 2020 (r548214)
@@ -2,7 +2,7 @@
PORTNAME= lean
DISTVERSIONPREFIX= v
-DISTVERSION= 3.19.0
+DISTVERSION= 3.20.0
CATEGORIES= math
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
Modified: head/math/lean/distinfo
==============================================================================
--- head/math/lean/distinfo Thu Sep 10 18:14:03 2020 (r548213)
+++ head/math/lean/distinfo Thu Sep 10 18:14:45 2020 (r548214)
@@ -1,3 +1,3 @@
-TIMESTAMP = 1598554290
-SHA256 (leanprover-community-lean-v3.19.0_GH0.tar.gz) = b99ad667a95418d680f378feb6c457d44f2327a933ee819e8315580528a758fe
-SIZE (leanprover-community-lean-v3.19.0_GH0.tar.gz) = 1855709
+TIMESTAMP = 1599758053
+SHA256 (leanprover-community-lean-v3.20.0_GH0.tar.gz) = 2fdd49ec17e0706346df7c3f013d634e03b2fdcbce341ad04d126e43af31f5c1
+SIZE (leanprover-community-lean-v3.20.0_GH0.tar.gz) = 1855743
Modified: head/math/lean/pkg-plist
==============================================================================
--- head/math/lean/pkg-plist Thu Sep 10 18:14:03 2020 (r548213)
+++ head/math/lean/pkg-plist Thu Sep 10 18:14:45 2020 (r548214)
@@ -287,6 +287,7 @@ include/lean_ext/library/vm/vm_float.h
include/lean_ext/library/vm/vm_format.h
include/lean_ext/library/vm/vm_int.h
include/lean_ext/library/vm/vm_io.h
+include/lean_ext/library/vm/vm_json.h
include/lean_ext/library/vm/vm_level.h
include/lean_ext/library/vm/vm_list.h
include/lean_ext/library/vm/vm_module_info.h
@@ -394,7 +395,6 @@ lib/lean/leanpkg/leanpkg/manifest.lean
lib/lean/leanpkg/leanpkg/proc.lean
lib/lean/leanpkg/leanpkg/resolve.lean
lib/lean/leanpkg/leanpkg/toml.lean
-lib/lean/library/data/bitvec.lean
lib/lean/library/data/buffer.lean
lib/lean/library/data/buffer/parser.lean
lib/lean/library/data/dlist.lean
@@ -528,6 +528,7 @@ lib/lean/library/init/meta/injection_tactic.lean
lib/lean/library/init/meta/interaction_monad.lean
lib/lean/library/init/meta/interactive.lean
lib/lean/library/init/meta/interactive_base.lean
+lib/lean/library/init/meta/json.lean
lib/lean/library/init/meta/lean/parser.lean
lib/lean/library/init/meta/level.lean
lib/lean/library/init/meta/local_context.lean
More information about the svn-ports-head
mailing list