From nobody Fri Feb 23 10:25:49 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 4Th5kk0VYpz5CCFf; Fri, 23 Feb 2024 10:25:50 +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 "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4Th5kj6QzGz4TQD; Fri, 23 Feb 2024 10:25:49 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1708683949; 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=PdzYlyAJ+FMDKE3kj9qMAOFgp8Pot+4g9vFyCY9/TSo=; b=SKvC2shsAjXyvIRRL59WiflK8j5ivhqhZvVfw65XVkUeqDE+jGwjOHE+xIrA9ZIkjuTqrq mMSIJZpSQgXCAjr+Er64sNgkv+wA9ZwExbMxoSAZ5w0BaGkk5xuCqdLWy1iLGGDonS2rNV +0U0hQu1a21G70SNUxlns4OTab2gYsd164MxzCTHZ7lfKzevV9F/yLqsLOQquFiyb59Pf8 vPs88Mu0gpXm6g79Dg+ObEZKaH2NhkwhaMS+AVOB55p207bc7+pqP8yZYXEiSiarvvmUpD x3q20B2gNebeZSQO/4emG6jpKpD3dQPCG5etep88y+qlEO1XLyVFjZuuhEcOtQ== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1708683949; a=rsa-sha256; cv=none; b=SOuZLyC4QVnTYikK/QJXrojDeVecDhhNTsdD/MU0Ebpxdt+9yJFEqQOKyZgtbyhRiwDnn/ N+K5QySKK8i6LBTI2s6oVdLCvPcBLGZzGfV+NLB6Dlu8P56vKvLRj5504vcjK2TFrv3Mgl yBPleR3k1wq/31icsMsGudD5lc0coIYaAKbpktaYkRBS7uzQF4xkBOag/EMJhmxTOa1Pvb SZdjSXocboJWup7lZp5g5iJWK/612FnoqUQKZQ2O+URu+N18j/jWRROhYoeU5DTpPp8WkS g1r+batNZznP7O1OWVXyy6zmnGjT/vTj2tXrpADCwLJw2trNwwDHuv0YuVoyGw== 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=1708683949; 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=PdzYlyAJ+FMDKE3kj9qMAOFgp8Pot+4g9vFyCY9/TSo=; b=GjtWB2IW7y/tnrlYooh9mKFVM6HT7lSRo1G1oSoa6qy5bIlAXT52/dIupRXA7eG6AjXEQt rwWezFR0pYM3dDDDHJ/7VpbxDBMlFHyM50DWcApvshklzLXkSm52LdeCx8LB4549Cl85S0 nSw4IDfgYDpa8JlJxQtix4mUmggc04ynKHTPN2pUT52syOTpU3iVry2UGQEXGi5FBczkfJ 6on7lsD4ro3rM1iSrqXEGjhk9sfBTojApwdjmByu8sN7f75MzK5eNZxEnTZiQ4+0EN+JQb AfHzlXHsqZXgZviaYR/LUJoDFZekrwn2H3vg4kUIiSXyjDZwPiiNG4xV26etzQ== 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 4Th5kj5Xv2z1B12; Fri, 23 Feb 2024 10:25:49 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.17.1/8.17.1) with ESMTP id 41NAPnbg044949; Fri, 23 Feb 2024 10:25:49 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.17.1/8.17.1/Submit) id 41NAPn04044946; Fri, 23 Feb 2024 10:25:49 GMT (envelope-from git) Date: Fri, 23 Feb 2024 10:25:49 GMT Message-Id: <202402231025.41NAPn04044946@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: ac4b8e87bd26 - main - math/elan: update 3.0.0 =?utf-8?Q?=E2=86=92?= 3.1.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: Sender: owner-dev-commits-ports-all@freebsd.org X-BeenThere: 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: ac4b8e87bd26c85429f531e49faabb741344b77b Auto-Submitted: auto-generated The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=ac4b8e87bd26c85429f531e49faabb741344b77b commit ac4b8e87bd26c85429f531e49faabb741344b77b Author: Yuri Victorovich AuthorDate: 2024-02-23 10:25:12 +0000 Commit: Yuri Victorovich CommitDate: 2024-02-23 10:25:42 +0000 math/elan: update 3.0.0 → 3.1.1 Reported by: portscout --- math/elan/Makefile | 3 +-- math/elan/distinfo | 6 +++--- 2 files changed, 4 insertions(+), 5 deletions(-) diff --git a/math/elan/Makefile b/math/elan/Makefile index f4c90168d5e3..6b395084a221 100644 --- a/math/elan/Makefile +++ b/math/elan/Makefile @@ -1,7 +1,6 @@ PORTNAME= elan DISTVERSIONPREFIX= v -DISTVERSION= 3.0.0 -PORTREVISION= 1 +DISTVERSION= 3.1.1 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org diff --git a/math/elan/distinfo b/math/elan/distinfo index 929f9c25df43..4906175ee8e4 100644 --- a/math/elan/distinfo +++ b/math/elan/distinfo @@ -1,4 +1,4 @@ -TIMESTAMP = 1705312310 +TIMESTAMP = 1708682352 SHA256 (rust/crates/addr2line-0.19.0.crate) = a76fd60b23679b7d19bd066031410fb7e458ccc5e958eb5c325888ce4baedc97 SIZE (rust/crates/addr2line-0.19.0.crate) = 33210 SHA256 (rust/crates/adler-1.0.2.crate) = f26201604c87b1e01bd3d98f8d5d9a8fcbb815e8cedb41ffccbeb4bf593a35fe @@ -459,5 +459,5 @@ SHA256 (rust/crates/zstd-safe-4.1.6+zstd.1.5.2.crate) = 94b61c51bb270702d6167b8c SIZE (rust/crates/zstd-safe-4.1.6+zstd.1.5.2.crate) = 17194 SHA256 (rust/crates/zstd-sys-1.6.3+zstd.1.5.2.crate) = fc49afa5c8d634e75761feda8c592051e7eeb4683ba827211eb0d731d3402ea8 SIZE (rust/crates/zstd-sys-1.6.3+zstd.1.5.2.crate) = 720054 -SHA256 (leanprover-elan-v3.0.0_GH0.tar.gz) = d1862df96e98515c5799bff168987e69382d824222e3fdebb4f41c63ef75d32c -SIZE (leanprover-elan-v3.0.0_GH0.tar.gz) = 95653 +SHA256 (leanprover-elan-v3.1.1_GH0.tar.gz) = b3e3c7dc6cc23dd319725fccf58c898bf4920ff3440c97cb8f3a35fc0d5bbf5c +SIZE (leanprover-elan-v3.1.1_GH0.tar.gz) = 93564