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

math/lean: Update 3.50.2 -> 3.50.3

Browse Source 
Reported by:	portscout
This commit is contained in:
Yuri Victorovich 2022-12-27 20:01:50 -08:00
parent bd83442d9b
commit d4456ccb7b
2 changed files with 4 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
DISTVERSIONPREFIX= v
DISTVERSION= 3.50.2
DISTVERSION= 3.50.3
CATEGORIES= math
PATCH_SITES= https://github.com/${GH_ACCOUNT}/${GH_PROJECT}/commit/

6
math/lean/distinfo
View File

@ -1,5 +1,5 @@
TIMESTAMP = 1671926257
SHA256 (leanprover-community-lean-v3.50.2_GH0.tar.gz) = 57d4bdab94a4ad6fe1c252be0d49ff9522a3baaa5280a606d86ceeb955873f80
SIZE (leanprover-community-lean-v3.50.2_GH0.tar.gz) = 1918353
TIMESTAMP = 1672195940
SHA256 (leanprover-community-lean-v3.50.3_GH0.tar.gz) = 00316c946de2aa4f1b6655ea8bd92b21ff184afd305891e6803c7631753f5b87
SIZE (leanprover-community-lean-v3.50.3_GH0.tar.gz) = 1918462
SHA256 (5eecaa0b9c860858372a22ab242566671907c913.patch) = 971765311b28bfc850803f355e9607dee5aa537565d24ffdc52562b6d874e99a
SIZE (5eecaa0b9c860858372a22ab242566671907c913.patch) = 3218