diff options
| -rw-r--r-- | math/lean/Makefile | 2 | ||||
| -rw-r--r-- | math/lean/distinfo | 6 | ||||
| -rw-r--r-- | math/lean/pkg-plist | 3 |
3 files changed, 6 insertions, 5 deletions
diff --git a/math/lean/Makefile b/math/lean/Makefile index 91b9dbb41dcd..5b026ee69494 100644 --- a/math/lean/Makefile +++ b/math/lean/Makefile @@ -2,7 +2,7 @@ PORTNAME= lean DISTVERSIONPREFIX= v -DISTVERSION= 3.19.0 +DISTVERSION= 3.20.0 CATEGORIES= math PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} diff --git a/math/lean/distinfo b/math/lean/distinfo index 7fa5f690369d..e8f835e64112 100644 --- a/math/lean/distinfo +++ b/math/lean/distinfo @@ -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 diff --git a/math/lean/pkg-plist b/math/lean/pkg-plist index de384bda47a6..8e98468140b3 100644 --- a/math/lean/pkg-plist +++ b/math/lean/pkg-plist @@ -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 |