mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-20 00:21:35 +00:00
Code Issues Releases Activity

math/lean: Update 3.44.0 -> 3.44.1

Browse Source 
Reported by:	portscout
This commit is contained in:
Yuri Victorovich 2022-06-28 12:16:27 -07:00
parent 17624d612d
commit 4e6e44675b
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.44.0
DISTVERSION= 3.44.1
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org

6
math/lean/distinfo
View File

@ -1,3 +1,3 @@
TIMESTAMP = 1656203939
SHA256 (leanprover-community-lean-v3.44.0_GH0.tar.gz) = a19c8bdbf205567cb81c0841a0711117501e35b4aa71317ad31520fc80880eef
SIZE (leanprover-community-lean-v3.44.0_GH0.tar.gz) = 1911571
TIMESTAMP = 1656441065
SHA256 (leanprover-community-lean-v3.44.1_GH0.tar.gz) = ec2ec2156b8dcfd287b6cc6d9ea75d8c8e9da2ba223e83d834c2b1fb46528bed
SIZE (leanprover-community-lean-v3.44.1_GH0.tar.gz) = 1911708