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

math/lean: Update 3.48.0 -> 3.49.0

Browse Source 
Reported by:	portscout
This commit is contained in:
Yuri Victorovich 2022-11-13 17:19:18 -08:00
parent f470f1a9f4
commit f92fcc8491
2 changed files with 6 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
math/lean/Makefile
View File

@ -1,7 +1,6 @@
PORTNAME= lean
DISTVERSIONPREFIX= v
DISTVERSION= 3.48.0
PORTREVISION= 1
DISTVERSION= 3.49.0
CATEGORIES= math
PATCH_SITES= https://github.com/${GH_ACCOUNT}/${GH_PROJECT}/commit/

10
math/lean/distinfo
View File

@ -1,5 +1,5 @@
TIMESTAMP = 1662004177
SHA256 (leanprover-community-lean-v3.48.0_GH0.tar.gz) = 07e42b5b040825b6fc2b320784541e1dcc94d189db1ef9f51573ec3eaec74727
SIZE (leanprover-community-lean-v3.48.0_GH0.tar.gz) = 1918012
SHA256 (5eecaa0b9c860858372a22ab242566671907c913.patch) = 971765311b28bfc850803f355e9607dee5aa537565d24ffdc52562b6d874e99a
SIZE (5eecaa0b9c860858372a22ab242566671907c913.patch) = 3218
TIMESTAMP = 1668387548
SHA256 (leanprover-community-lean-v3.49.0_GH0.tar.gz) = c90850921cafc69bf4d8c976d2b65de02abd9b5f46cf8aa91f7c2585ed775c0e
SIZE (leanprover-community-lean-v3.49.0_GH0.tar.gz) = 1918154
SHA256 (5eecaa0b9c860858372a22ab242566671907c913.patch) = 676d919b53ce6190e8c2b387955a1d1cb76a8cd390d3dfb9d01014435ff0b41d
SIZE (5eecaa0b9c860858372a22ab242566671907c913.patch) = 3212