cpet/freebsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

math/lean: Update 3.32.1 -> 3.33.0

Browse Source 
Reported by:	portscout
This commit is contained in:
Yuri Victorovich 2021-09-18 10:24:31 -07:00
parent b9c63cc840
commit 172ac09c34
3 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
math/lean/Makefile
View File

@ -1,6 +1,6 @@
PORTNAME= lean PORTNAME= lean
DISTVERSIONPREFIX= v DISTVERSIONPREFIX= v
DISTVERSION= 3.32.1 DISTVERSION= 3.33.0
CATEGORIES= math CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org MAINTAINER= yuri@FreeBSD.org

6
math/lean/distinfo
View File

@ -1,3 +1,3 @@
TIMESTAMP = 1629058570 TIMESTAMP = 1631983261
SHA256 (leanprover-community-lean-v3.32.1_GH0.tar.gz) = 67acd4969baea6f4ed24dd7148ff10924c5de881fee133926414aeabf4cb53e2 SHA256 (leanprover-community-lean-v3.33.0_GH0.tar.gz) = bb9b4cc1a6516726433f51d181c5089ba1eb20c2e08dc7c48c9bd862008d4003
SIZE (leanprover-community-lean-v3.32.1_GH0.tar.gz) = 1873007 SIZE (leanprover-community-lean-v3.33.0_GH0.tar.gz) = 1890511

3
math/lean/pkg-plist
View File

@ -82,6 +82,7 @@ include/lean_ext/library/ac_match.h
include/lean_ext/library/aliases.h include/lean_ext/library/aliases.h
include/lean_ext/library/annotation.h include/lean_ext/library/annotation.h
include/lean_ext/library/app_builder.h include/lean_ext/library/app_builder.h
include/lean_ext/library/ast_exporter.h
include/lean_ext/library/attribute_manager.h include/lean_ext/library/attribute_manager.h
include/lean_ext/library/aux_definition.h include/lean_ext/library/aux_definition.h
include/lean_ext/library/aux_recursors.h include/lean_ext/library/aux_recursors.h
@ -255,6 +256,7 @@ include/lean_ext/library/tactic/smt/theory_ac.h
include/lean_ext/library/tactic/smt/util.h include/lean_ext/library/tactic/smt/util.h
include/lean_ext/library/tactic/subst_tactic.h include/lean_ext/library/tactic/subst_tactic.h
include/lean_ext/library/tactic/tactic_evaluator.h include/lean_ext/library/tactic/tactic_evaluator.h
include/lean_ext/library/tactic/tactic_log.h
include/lean_ext/library/tactic/tactic_state.h include/lean_ext/library/tactic/tactic_state.h
include/lean_ext/library/tactic/unfold_tactic.h include/lean_ext/library/tactic/unfold_tactic.h
include/lean_ext/library/tactic/user_attribute.h include/lean_ext/library/tactic/user_attribute.h
@ -328,6 +330,7 @@ include/lean_ext/util/init_module.h
include/lean_ext/util/int64.h include/lean_ext/util/int64.h
include/lean_ext/util/interrupt.h include/lean_ext/util/interrupt.h
include/lean_ext/util/lbool.h include/lean_ext/util/lbool.h
include/lean_ext/util/lean_json.h
include/lean_ext/util/lean_path.h include/lean_ext/util/lean_path.h
include/lean_ext/util/line_endings.h include/lean_ext/util/line_endings.h
include/lean_ext/util/list.h include/lean_ext/util/list.h