From nobody Thu May 28 19:27:30 2026 X-Original-To: dev-commits-ports-main@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 4gRGhy5Pcnz6dy1k for ; Thu, 28 May 2026 19:27:30 +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 "R13" (not verified)) by mx1.freebsd.org (Postfix) with ESMTPS id 4gRGhy4Jmmz4DXr for ; Thu, 28 May 2026 19:27:30 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1779996450; 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=2Ld2KQQWmOBRCc9XkHbg/ylm/+75ZIt+vBPORxmjdf4=; b=qO3HH32a2aGYe4uA//KS09wk2asRpEh5+SIk50i7tf5Pq/tH3YCecICdjshnRlHiUhgobN 5t7qRoYCTyEKb4XMzhMMluS/3/2MfxBv2WlKJljZabydeHDNQykTKBizPKT1aX9253HF9n Uc2hdVFMj+Im7LNdB4uHBM8wp73cgAjQaybtV6GVI+RdzNLaz9xkjFaKtZRk7O/9cjdxdI ALd/cBJtBCIR5upEKFB4tOXaGjBiGOywJyzvl7EY7feG0YF4h133jW+QtRaDt7Y6CqXPcp x2TX5WT8QHEJm4ydzmjf1itlf9jgGW3/KAb+2yUA2vjJrxkzVN7sSKZ733ULBg== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1779996450; a=rsa-sha256; cv=none; b=KnrL2V+qHtAT1azLJQYQrlKULd43ISKJs9C8x4fdNTOYEm+6nIJmJ4pkeHAV9nasO39aF6 i85+GXq0JFjKDZkIYBkvw8pxutrmj40uYCJMfN7n0pBUWvklRtRPow3S1RifU8IMVyu5kU KqH+dKfeuXayRZ6g4gzVsOnpg6N+gp1Ash1WEdsNf7H/YtZsiBcAcPX0sFpxaS6zWpl7XG 2VoVu+kgC6EfDw/3sajTK7cLXpKEiDMj5dzYrpubdEd2azNohXrBFqv4OKkcbCi7JKhZoD YW/l6wjl72kSn1WCCx34dStxP9TMM1UUriaRFgTVgsWjeWDZeloI1p6BfZTl4A== 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=1779996450; 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=2Ld2KQQWmOBRCc9XkHbg/ylm/+75ZIt+vBPORxmjdf4=; b=wRcShzb5eZe3oXB5RdA/sh6ATVB6kR7hTFWXrn/2FgZMtQUKIi86EUVOv9JZvKUap/Vip3 VCZAFcCZVxa5xkR5zA1yESHbjWEnagirTF4pDPWAUKTH+M8BF5LIreDFY7hcccI2U5i8hS tdotz2DS/B4DbHpCzrFxX0vQUOeZj+2VulnVrtO9HPmr2Hn/yMKKXZk/4NGSz5mDokyTei OnxY9DMiTTBYCEdpKZyZx96roWSfEoY+h6B5y/oEVWZiM2ZEyaBB4F+FzKo0ZoXsAYjaCF Y0MCo2NHj4JelkFc05zPVODyYBGsxraAOchepsJrud8RK2/W6fwiXQEo2Nn9hQ== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) by mxrelay.nyi.freebsd.org (Postfix) with ESMTP id 4gRGhy3pPsz10Bp for ; Thu, 28 May 2026 19:27:30 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from git (uid 1279) (envelope-from git@FreeBSD.org) id 22ae3 by gitrepo.freebsd.org (DragonFly Mail Agent v0.13+ on gitrepo.freebsd.org); Thu, 28 May 2026 19:27:30 +0000 To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: 7e4f43b8e564 - main - math/elan: update 4.=?utf-8?Q?2.1 =E2=86=92?= 4.2.2 List-Id: Commits to the main branch of the FreeBSD ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-main List-Help: List-Post: List-Subscribe: List-Unsubscribe: X-BeenThere: dev-commits-ports-main@freebsd.org Sender: owner-dev-commits-ports-main@FreeBSD.org List-Id: List-Post: List-Help: List-Subscribe: List-Unsubscribe: List-Owner: Precedence: list 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: 7e4f43b8e5645f9ae1c7f78dbd6d37d4f297649c Auto-Submitted: auto-generated Date: Thu, 28 May 2026 19:27:30 +0000 Message-Id: <6a189722.22ae3.666e2e50@gitrepo.freebsd.org> The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=7e4f43b8e5645f9ae1c7f78dbd6d37d4f297649c commit 7e4f43b8e5645f9ae1c7f78dbd6d37d4f297649c Author: Yuri Victorovich AuthorDate: 2026-05-28 19:26:09 +0000 Commit: Yuri Victorovich CommitDate: 2026-05-28 19:27:24 +0000 math/elan: update 4.2.1 → 4.2.2 --- math/elan/Makefile | 4 ++-- math/elan/distinfo | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/math/elan/Makefile b/math/elan/Makefile index d3c3515aef9e..b38f5c6b4515 100644 --- a/math/elan/Makefile +++ b/math/elan/Makefile @@ -1,7 +1,7 @@ PORTNAME= elan DISTVERSIONPREFIX= v -DISTVERSION= 4.2.1 -PORTREVISION= 1 +DISTVERSION= 4.2.2 +PORTREVISION= 0 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org diff --git a/math/elan/distinfo b/math/elan/distinfo index 1036b72bc8b6..f08d20c2372e 100644 --- a/math/elan/distinfo +++ b/math/elan/distinfo @@ -1,4 +1,4 @@ -TIMESTAMP = 1776747779 +TIMESTAMP = 1779992472 SHA256 (rust/crates/addr2line-0.24.2.crate) = dfbe277e56a376000877090da837660b4427aad530e3028d44e0bffe4f89a1c1 SIZE (rust/crates/addr2line-0.24.2.crate) = 39015 SHA256 (rust/crates/adler2-2.0.0.crate) = 512761e0bb2578dd7380c6baaa0f4ce03e84f95e960231d1dec8bf4d7d6e2627 @@ -541,5 +541,5 @@ SHA256 (rust/crates/zstd-safe-7.2.4.crate) = 8f49c4d5f0abb602a93fb8736af2a4f4dd9 SIZE (rust/crates/zstd-safe-7.2.4.crate) = 29350 SHA256 (rust/crates/zstd-sys-2.0.15+zstd.1.5.7.crate) = eb81183ddd97d0c74cedf1d50d85c8d08c1b8b68ee863bdee9e706eedba1a237 SIZE (rust/crates/zstd-sys-2.0.15+zstd.1.5.7.crate) = 774847 -SHA256 (leanprover-elan-v4.2.1_GH0.tar.gz) = 637cf1d0746d05979ec9f97f577ac57f38f1606fc5c596d10579b9b367a3157d -SIZE (leanprover-elan-v4.2.1_GH0.tar.gz) = 103249 +SHA256 (leanprover-elan-v4.2.2_GH0.tar.gz) = b1f151659be6f2a9c840049ec40bff126847de0fcceef7c42da04627e34b1712 +SIZE (leanprover-elan-v4.2.2_GH0.tar.gz) = 107107