diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2021-03-16 17:14:39 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2021-03-16 17:14:39 +0000 |
| commit | 874c088f3dc6c4dddc3430fe174cc19870982e3e (patch) | |
| tree | 2eea1ad22892648a16ce376d4321b61e2ba25c5f /math | |
| parent | 8d6029501e9cb203ff0ea7187077c979af6f8c48 (diff) | |
| download | ports-874c088f3dc6c4dddc3430fe174cc19870982e3e.tar.gz ports-874c088f3dc6c4dddc3430fe174cc19870982e3e.zip | |
math/lean: Update 3.27.0 -> 3.28.0
Reported by: portscout
Notes
Notes:
svn path=/head/; revision=568590
Diffstat (limited to 'math')
| -rw-r--r-- | math/lean/Makefile | 2 | ||||
| -rw-r--r-- | math/lean/distinfo | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/math/lean/Makefile b/math/lean/Makefile index deb4b8b11970..12f4015f8db9 100644 --- a/math/lean/Makefile +++ b/math/lean/Makefile @@ -2,7 +2,7 @@ PORTNAME= lean DISTVERSIONPREFIX= v -DISTVERSION= 3.27.0 +DISTVERSION= 3.28.0 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org diff --git a/math/lean/distinfo b/math/lean/distinfo index 9205e2ec1d40..46dcd8343370 100644 --- a/math/lean/distinfo +++ b/math/lean/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1614358220 -SHA256 (leanprover-community-lean-v3.27.0_GH0.tar.gz) = b6e453f44a5a353d7b7ad807ba13f87735ee51c913e2aff1113fc35dfe8dc214 -SIZE (leanprover-community-lean-v3.27.0_GH0.tar.gz) = 1868861 +TIMESTAMP = 1615913985 +SHA256 (leanprover-community-lean-v3.28.0_GH0.tar.gz) = dbd16d919a2b5e1be4ff63667ceb56b24491d8594a2eebe05b7f9b512fc8a528 +SIZE (leanprover-community-lean-v3.28.0_GH0.tar.gz) = 1869924 |