Date: Wed, 10 Jul 2024 16:01:03 GMT From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: b5820dc09aa8 - main - math/lean4: update 4.9.0 =?utf-8?Q?=E2=86=92?= 4.9.1 Message-ID: <202407101601.46AG1329059642@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=b5820dc09aa898379f0727bec98e2c8f6dbdc6f7 commit b5820dc09aa898379f0727bec98e2c8f6dbdc6f7 Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2024-07-10 15:58:20 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2024-07-10 16:00:55 +0000 math/lean4: update 4.9.0 → 4.9.1 Reported by: portscout --- math/lean4/Makefile | 2 +- math/lean4/distinfo | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/math/lean4/Makefile b/math/lean4/Makefile index 078d42595304..6eb36f82225d 100644 --- a/math/lean4/Makefile +++ b/math/lean4/Makefile @@ -1,6 +1,6 @@ PORTNAME= lean4 DISTVERSIONPREFIX= v -DISTVERSION= 4.9.0 +DISTVERSION= 4.9.1 CATEGORIES= math lang devel # lean4 is primarily a math theorem prover, but it is also a language and a development environment MAINTAINER= yuri@FreeBSD.org diff --git a/math/lean4/distinfo b/math/lean4/distinfo index 2fcae32c6584..395168f7c42c 100644 --- a/math/lean4/distinfo +++ b/math/lean4/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1720249428 -SHA256 (leanprover-lean4-v4.9.0_GH0.tar.gz) = f59b7a782bd7e918b35a133a954094f0e39e344ffef06689a1c53ae97ae8d769 -SIZE (leanprover-lean4-v4.9.0_GH0.tar.gz) = 22768229 +TIMESTAMP = 1720597727 +SHA256 (leanprover-lean4-v4.9.1_GH0.tar.gz) = 713e41ec71a9e9030e6f46cc5dbb5aef30ac1887dfe5faa5a054c0a2f0613b1e +SIZE (leanprover-lean4-v4.9.1_GH0.tar.gz) = 22771989
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202407101601.46AG1329059642>