math/lean: Update 3.4.1 -> 3.4.2

Reported by:	portscout
This commit is contained in:
Yuri Victorovich 2019-01-23 09:59:54 +00:00
parent 40d39b009c
commit 03479ec7f3
Notes: svn2git 2021-03-31 03:12:20 +00:00
svn path=/head/; revision=491029
3 changed files with 5 additions and 11 deletions

View File

@ -2,7 +2,7 @@
PORTNAME= lean
DISTVERSIONPREFIX= v
DISTVERSION= 3.4.1
DISTVERSION= 3.4.2
CATEGORIES= math
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
@ -21,6 +21,6 @@ USE_LDCONFIG= yes
WRKSRC_SUBDIR= src
PORTSCOUT= limit:.*[0-9]*\.[0-9]*$$
PORTSCOUT= limit:.*[0-9]+\.[0-9]+$$
.include <bsd.port.mk>

View File

@ -1,3 +1,3 @@
TIMESTAMP = 1532330618
SHA256 (leanprover-lean-v3.4.1_GH0.tar.gz) = c146385e75ae8fbd88732d4443400123288bfea885c35c213efaba78b655d320
SIZE (leanprover-lean-v3.4.1_GH0.tar.gz) = 1816434
TIMESTAMP = 1548236438
SHA256 (leanprover-lean-v3.4.2_GH0.tar.gz) = ec4488be8473577666f38dec81123d0f7b26476139d3caa2e175a571f6c00d87
SIZE (leanprover-lean-v3.4.2_GH0.tar.gz) = 1807616

View File

@ -683,8 +683,6 @@ lib/lean/library/init/meta/attribute.lean
lib/lean/library/init/meta/attribute.olean
lib/lean/library/init/meta/backward.lean
lib/lean/library/init/meta/backward.olean
lib/lean/library/init/meta/coinductive_predicates.lean
lib/lean/library/init/meta/coinductive_predicates.olean
lib/lean/library/init/meta/comp_value_tactics.lean
lib/lean/library/init/meta/comp_value_tactics.olean
lib/lean/library/init/meta/congr_lemma.lean
@ -783,16 +781,12 @@ lib/lean/library/init/meta/tactic.lean
lib/lean/library/init/meta/tactic.olean
lib/lean/library/init/meta/task.lean
lib/lean/library/init/meta/task.olean
lib/lean/library/init/meta/transfer.lean
lib/lean/library/init/meta/transfer.olean
lib/lean/library/init/meta/vm.lean
lib/lean/library/init/meta/vm.olean
lib/lean/library/init/meta/well_founded_tactics.lean
lib/lean/library/init/meta/well_founded_tactics.olean
lib/lean/library/init/propext.lean
lib/lean/library/init/propext.olean
lib/lean/library/init/relator.lean
lib/lean/library/init/relator.olean
lib/lean/library/init/util.lean
lib/lean/library/init/util.olean
lib/lean/library/init/version.lean