git: 3ab20c4de762 - main - math/hs-Agda: Update to 2.7.0.1

The branch main has been updated by arrowd:

URL: https://cgit.FreeBSD.org/ports/commit/?id=3ab20c4de76272d840057ffa58d34661606cc35b

commit 3ab20c4de76272d840057ffa58d34661606cc35b
Author:     Älven <alster@vinterdalen.se>
AuthorDate: 2024-09-19 15:22:36 +0000
Commit:     Gleb Popov <arrowd@FreeBSD.org>
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