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

Update to lean 3.42.0

Browse Source
This commit is contained in:
tb 2022-03-21 20:56:25 +00:00
parent cc056df03e
commit bbcae7bf41
3 changed files with 10 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
math/lean/Makefile
View File

@ -2,7 +2,7 @@ COMMENT = interactive and automated theorem prover
GH_ACCOUNT = leanprover-community
GH_PROJECT = lean
GH_TAGNAME = v3.35.1
GH_TAGNAME = v3.42.0
CATEGORIES = math lang

4
math/lean/distinfo
View File

@ -1,2 +1,2 @@
SHA256 (lean-3.35.1.tar.gz) = UBFw2ylYqTAuB1xvHIScQuEsJiP7PnxSfzpdo0g+6pM=
SIZE (lean-3.35.1.tar.gz) = 1872461
SHA256 (lean-3.42.0.tar.gz) = tvlv6yX1XDRtqt7k9yd/vZaU0/PzUHzoz9lTmgQGZoA=
SIZE (lean-3.42.0.tar.gz) = 1908134

7
math/lean/pkg/PLIST
View File

@ -165,6 +165,7 @@ include/lean_ext/library/expr_lt.h
include/lean_ext/library/expr_pair.h
include/lean_ext/library/expr_pair_maps.h
include/lean_ext/library/expr_unsigned_map.h
include/lean_ext/library/feature_search.h
include/lean_ext/library/fingerprint.h
include/lean_ext/library/fun_info.h
include/lean_ext/library/handle.h
@ -210,6 +211,8 @@ include/lean_ext/library/phashtable.h
include/lean_ext/library/pipe.h
include/lean_ext/library/placeholder.h
include/lean_ext/library/pp_options.h
include/lean_ext/library/predict/
include/lean_ext/library/predict/predict.h
include/lean_ext/library/print.h
include/lean_ext/library/private.h
include/lean_ext/library/process.h
@ -686,6 +689,8 @@ lib/lean/library/init/meta/expr.lean
lib/lean/library/init/meta/expr.olean
lib/lean/library/init/meta/expr_address.lean
lib/lean/library/init/meta/expr_address.olean
lib/lean/library/init/meta/feature_search.lean
lib/lean/library/init/meta/feature_search.olean
lib/lean/library/init/meta/float.lean
lib/lean/library/init/meta/float.olean
lib/lean/library/init/meta/format.lean
@ -698,6 +703,8 @@ lib/lean/library/init/meta/hole_command.lean
lib/lean/library/init/meta/hole_command.olean
lib/lean/library/init/meta/injection_tactic.lean
lib/lean/library/init/meta/injection_tactic.olean
lib/lean/library/init/meta/instance_cache.lean
lib/lean/library/init/meta/instance_cache.olean
lib/lean/library/init/meta/interaction_monad.lean
lib/lean/library/init/meta/interaction_monad.olean
lib/lean/library/init/meta/interactive.lean