From nobody Wed Jul 10 16:01:03 2024 X-Original-To: dev-commits-ports-all@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4WK2dq6vQ1z5QjCp; Wed, 10 Jul 2024 16:01:03 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R11" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4WK2dq5LvZz4Z2r; Wed, 10 Jul 2024 16:01:03 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1720627263; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=R8GPgl9lNmuWOzofOQ41JAX9lA2lIe7gCqOF4c+ZUh8=; b=HnN7Tx4kCeV930Mac7TVA6bnisOgMK2x1qplZi+p+DLexap5r7E8avFcF0lMujZ9yldYI/ 3dPnsxjYCyiW8+hRYTX6RvdmOo2mQXijo4wqBv4KPXisbmyvn9fN6Ng2U20eXv2s8kPRZP BaOVPBnjbmH8B1JpBST49GGdJGp8xfU2gkuUCJiw2ORYzVoE9gh3s4leTqY/UDT3Utwo1r UOlyWdEq0TLZiHygou19Jex40keYEBwy8tsEpIyVV7JJ48PukeOSExW/rkAvMQFAq5Ftfy /Ky6Y4DVnOy+9C4oJGmCnP/dXOLUFzAUN8mVA0iXQew92zyzJ1dPzLbg8AOqXg== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1720627263; a=rsa-sha256; cv=none; b=B420FrQIqI7dIwOdHCe/svwrEn7Pd7U/bfDb0wTkiqn3LW1zHMuT9dbUgLX31b7khgy+4c aU5Kxg2oqdzUlxSTzB8oaoUhQUDNcKrAl3val+gkrCi7I5rRsmOw8MLMaXy6TyQCfwu8Tt /TX1SsPd0CF4lgdpxB5GTBuz1x1Ezhstyfr4x1hLGmbSpb6aI/gtAGGSKiwsGqWBBg79+0 AUPVqgtlGTpPh2r0e2clWdVOfWFN/OQUNIUImKBajm5XLKVliNTQmNC+DqI95LP2cO5J96 2HPG+3yIwKcm8i3NWBCYOuXtI1nqHW7UK0riDg+SDoNTCs4cxsbVFeoah1SU8w== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1720627263; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=R8GPgl9lNmuWOzofOQ41JAX9lA2lIe7gCqOF4c+ZUh8=; b=mLTL7X+fy5OyXche+vSt/ACHx89ZgkMpeCaSmSzPQsvalqC4C6T5IFk2sebJLwleCAn3HS 8+3O6/SIeYt1jSkPCDMDcHo9gR2Xt2+U2HV0smWiWkp82tFwAqP0yErXF9W5Bo+TsvCs9m IbXz6ijU8C1IL/A8UbLHHmgy3LYe/1ned2is1/tM7nt2niJXquRDRutrqIlI3+IP14mH0v pryIDcUiig1HgI/HjRJOAjQmrWGeMjgua4HBs3CqMBRiTICxBixJE47DTjMbi4rdH4kac0 wvM+YuRrIBilprzsvNd/bS+e4tuxXkuc4ezrbDjoFWrczti6AZd5GdD0Q+CdXg== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4WK2dq4yZZzP0D; Wed, 10 Jul 2024 16:01:03 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.18.1/8.18.1) with ESMTP id 46AG132h059645; Wed, 10 Jul 2024 16:01:03 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.18.1/8.18.1/Submit) id 46AG1329059642; Wed, 10 Jul 2024 16:01:03 GMT (envelope-from git) Date: Wed, 10 Jul 2024 16:01:03 GMT Message-Id: <202407101601.46AG1329059642@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: b5820dc09aa8 - main - math/lean4: update 4.9.0 =?utf-8?Q?=E2=86=92?= 4.9.1 List-Id: Commit messages for all branches of the ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-all List-Help: List-Post: List-Subscribe: List-Unsubscribe: X-BeenThere: dev-commits-ports-all@freebsd.org Sender: owner-dev-commits-ports-all@FreeBSD.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: yuri X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: b5820dc09aa898379f0727bec98e2c8f6dbdc6f7 Auto-Submitted: auto-generated The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=b5820dc09aa898379f0727bec98e2c8f6dbdc6f7 commit b5820dc09aa898379f0727bec98e2c8f6dbdc6f7 Author: Yuri Victorovich AuthorDate: 2024-07-10 15:58:20 +0000 Commit: Yuri Victorovich 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