From nobody Thu Sep 19 16:23:28 2024 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 4X8gmw1mg9z5XDfw; Thu, 19 Sep 2024 16:23:28 +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 4X8gmw1Dnnz4v4S; Thu, 19 Sep 2024 16:23:28 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1726763008; 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=ELnC9D6O0meI0WIj9G9fHFlDiqxbxguwLG1NhjepA8Q=; b=lcYJZ4G6GWmIMOzJVE1jmPS72Ap1FbzYxRRpnuWywJpw7mmSbRl9c5tCnpgxEkCBsgdNuK oVKNeobMF/rL68vl7I4OfN1TrIFLcA8+O6PVzj43oBntKKkO8Q1QWPtumkXJ9EGGJj1c4a BGZcuwsU3YsbLgBhwiA8EvMr64lvvdNCcJo9yDMbGUeYpfBShNVIXav0rT4eClOMtW/ra2 I5cCC5xswY6AtDC2MqHfZfoEfDliWH6WKTLCcuwccRVdm1U9H6WOWTyK5+TW6IH568T884 BoNJ0ZZbV6cM+Fx2h+CXAZTe2X5lbQm776yRH4V4TsaIRA3h5bXFFbBtWWZtYw== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1726763008; a=rsa-sha256; cv=none; b=YkH2AyAEF/7J5N8OIIeCJTiFPQxHb43rCM75BAS/Xu2bnPjhoUU6yTI9YKaB9qI6Hvx1Je nH3gx3uf7JSSMfcD4idUIcxAR0WjrB21VTaL17u2z/Y+UNKugRwNJLFWs4vKipsmASsPyx GhFNzR0ego3JbHq/gQmwhvGjjDjumQ6h+IKPEFNR6IlvSKD/ngs/0HhSv/TXkMvO4FbuFO b5VSo4nvMbyx648U2J7UOdCLGy9bgkny8WI/AcTI+4G8g7tD6v62rfnlI22BRcGbYOpjlU T3QNQZKD5mWmKvm4f1SvdQt0gfYy/NxtlybAEvq/oPN9wEMjCKzE3lCghIQiyQ== 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=1726763008; 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=ELnC9D6O0meI0WIj9G9fHFlDiqxbxguwLG1NhjepA8Q=; b=s72U2rlj64tSUNU01kEVeUQd3XmHm2z2+vQ/u/ALZi3fx0/7grRR18EhcFCa6FOMJbVyT8 ql6IsJzscjFPnV/tGuMLoRW+6e890cge5yEeMxklFvrp4ds0UetUPnPJWo6ueYxuhGBsGP DZAP+cpvpfWasZmZsNmbRwOrJRqnpMgn9DcoKrQVoEAl90ohOm0qRYJKIVvgmoc4Qql0A7 QE1m6qEpazEdUGYIpU9eLaFk7VeAkEAFZCB6Z0rjY/fAmkRVVi6iBk2p76JOqGt66Kpgoj GpzjXVZmJmWe/yLfE9Zelz5IVcNlGLPCrjIkQ5DT97Tqrk6a3KC6RreWP0d35Q== 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 4X8gmw0qfTz1CXY; Thu, 19 Sep 2024 16:23:28 +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 48JGNS15042670; Thu, 19 Sep 2024 16:23:28 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.18.1/8.18.1/Submit) id 48JGNSI8042667; Thu, 19 Sep 2024 16:23:28 GMT (envelope-from git) Date: Thu, 19 Sep 2024 16:23:28 GMT Message-Id: <202409191623.48JGNSI8042667@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Gleb Popov Subject: git: 3ab20c4de762 - main - math/hs-Agda: Update to 2.7.0.1 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 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: arrowd X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 3ab20c4de76272d840057ffa58d34661606cc35b Auto-Submitted: auto-generated The branch main has been updated by arrowd: URL: https://cgit.FreeBSD.org/ports/commit/?id=3ab20c4de76272d840057ffa58d34661606cc35b commit 3ab20c4de76272d840057ffa58d34661606cc35b Author: Älven AuthorDate: 2024-09-19 15:22:36 +0000 Commit: Gleb Popov CommitDate: 2024-09-19 16:23:18 +0000 math/hs-Agda: Update to 2.7.0.1 PR: 281581 --- math/hs-Agda/Makefile | 6 +++--- math/hs-Agda/distinfo | 12 +++++++----- 2 files changed, 10 insertions(+), 8 deletions(-) diff --git a/math/hs-Agda/Makefile b/math/hs-Agda/Makefile index 4ae3b77c3b0a..edf538a2c39c 100644 --- a/math/hs-Agda/Makefile +++ b/math/hs-Agda/Makefile @@ -1,5 +1,5 @@ PORTNAME= Agda -DISTVERSION= 2.7.0 +DISTVERSION= 2.7.0.1 CATEGORIES= math haskell MAINTAINER= haskell@FreeBSD.org @@ -21,7 +21,7 @@ USE_CABAL= OneTuple-0.4.2 \ QuickCheck-2.15.0.1 \ STMonadTrans-0.4.8_1 \ StateVar-1.2.2 \ - aeson-2.2.3.0_1 \ + aeson-2.2.3.0_2 \ alex-3.5.1.0 \ ansi-terminal-1.1.1 \ ansi-terminal-types-1.1 \ @@ -72,7 +72,7 @@ USE_CABAL= OneTuple-0.4.2 \ splitmix-0.1.0.5_1 \ strict-0.5.1_1 \ tagged-0.8.8_1 \ - text-iso8601-0.1.1 \ + text-iso8601-0.1.1_1 \ text-short-0.1.6_2 \ th-abstraction-0.7.0.0 \ th-compat-0.1.5_2 \ diff --git a/math/hs-Agda/distinfo b/math/hs-Agda/distinfo index 16fe17ed8675..032e7c9870d0 100644 --- a/math/hs-Agda/distinfo +++ b/math/hs-Agda/distinfo @@ -1,6 +1,6 @@ -TIMESTAMP = 1724187447 -SHA256 (cabal/Agda-2.7.0/Agda-2.7.0.tar.gz) = 007a0938cd148387a9f8979f3f5f581c7faccafb8ea1624d28349f65c8d4b900 -SIZE (cabal/Agda-2.7.0/Agda-2.7.0.tar.gz) = 1890826 +TIMESTAMP = 1726698029 +SHA256 (cabal/Agda-2.7.0.1/Agda-2.7.0.1.tar.gz) = 34f6d60a4d4ef7d1946b785e1ed1e410906546151419da9823c03bdf5705f68e +SIZE (cabal/Agda-2.7.0.1/Agda-2.7.0.1.tar.gz) = 1884553 SHA256 (cabal/OneTuple-0.4.2/OneTuple-0.4.2.tar.gz) = 174da8a0f4004d17b08182cb25b0e045fce5de1fdeae84e9d75fdea2867aab55 SIZE (cabal/OneTuple-0.4.2/OneTuple-0.4.2.tar.gz) = 5207 SHA256 (cabal/QuickCheck-2.15.0.1/QuickCheck-2.15.0.1.tar.gz) = a3b2216ddbaf481dbc82414b6120f8b726d969db3f0b51f20a7a45425ef36e7f @@ -13,8 +13,8 @@ SHA256 (cabal/StateVar-1.2.2/StateVar-1.2.2.tar.gz) = 5e4b39da395656a59827b02805 SIZE (cabal/StateVar-1.2.2/StateVar-1.2.2.tar.gz) = 5048 SHA256 (cabal/aeson-2.2.3.0/aeson-2.2.3.0.tar.gz) = daa25cf428256ad05d21f2bfa44077c1b14d6c784b7930a202ee901f11cc6baa SIZE (cabal/aeson-2.2.3.0/aeson-2.2.3.0.tar.gz) = 340855 -SHA256 (cabal/aeson-2.2.3.0/revision/1.cabal) = ef66d29cb5b8d87a144838dfd5745bb3ac6b8fc4b142129fac84814baee13660 -SIZE (cabal/aeson-2.2.3.0/revision/1.cabal) = 6351 +SHA256 (cabal/aeson-2.2.3.0/revision/2.cabal) = 011fa2d67d7a821aa5ec5c825adc919bb067d42dde8fac7c6e5db23239a58866 +SIZE (cabal/aeson-2.2.3.0/revision/2.cabal) = 6589 SHA256 (cabal/alex-3.5.1.0/alex-3.5.1.0.tar.gz) = c92efe86f8eb959ee03be6c04ee57ebc7e4abc75a6c4b26551215d7443e92a07 SIZE (cabal/alex-3.5.1.0/alex-3.5.1.0.tar.gz) = 85982 SHA256 (cabal/ansi-terminal-1.1.1/ansi-terminal-1.1.1.tar.gz) = 7e448fcdf8a5a97f3d30e5168f834641df9945fafa65f2e87d73ff9556a1bc4c @@ -163,6 +163,8 @@ SHA256 (cabal/tagged-0.8.8/revision/1.cabal) = 9193defbde3dda997236ccc11a1db3e07 SIZE (cabal/tagged-0.8.8/revision/1.cabal) = 2732 SHA256 (cabal/text-iso8601-0.1.1/text-iso8601-0.1.1.tar.gz) = 9dead2b7ceeae40fe0fc060bd54795c32e9926c9d1aebae8f9b9a621fba88202 SIZE (cabal/text-iso8601-0.1.1/text-iso8601-0.1.1.tar.gz) = 9599 +SHA256 (cabal/text-iso8601-0.1.1/revision/1.cabal) = 0af50f6d2e8479b9a956c9c612ec270ea09df4c78c88c5b1bdd98066f576d73d +SIZE (cabal/text-iso8601-0.1.1/revision/1.cabal) = 2478 SHA256 (cabal/text-short-0.1.6/text-short-0.1.6.tar.gz) = 8173ea138d7dc398747b636012bf6e79e17186560b8a7a7fc9e6456d78556eab SIZE (cabal/text-short-0.1.6/text-short-0.1.6.tar.gz) = 24691 SHA256 (cabal/text-short-0.1.6/revision/2.cabal) = 5953dc14c71b6047edab2dc89e922678ff5cbe2e98d16b9e7078150083940be4