math/hs-Agda: update to 2.6.4.1

freebsd · Feb 8, 2024 · f59e1f7 · f59e1f7
1 parent 49f10e3
commit f59e1f7
Show file tree

Hide file tree

Showing 4 changed files with 201 additions and 234 deletions.
diff --git a/math/hs-Agda/Makefile b/math/hs-Agda/Makefile
@@ -1,6 +1,5 @@
 PORTNAME=	Agda
-PORTVERSION=	2.6.3
-PORTREVISION=	1
+PORTVERSION=	2.6.4.1
 CATEGORIES=	math haskell
 
 MAINTAINER=	haskell@FreeBSD.org
@@ -20,71 +19,76 @@ USES=		cabal
 
 USE_LOCALE=	en_US.UTF-8
 
-USE_CABAL=	OneTuple-0.4.1.1 \
-		QuickCheck-2.14.2 \
-		STMonadTrans-0.4.6_1 \
+USE_CABAL=	OneTuple-0.4.1.1_1 \
+		QuickCheck-2.14.3 \
+		STMonadTrans-0.4.8 \
 		StateVar-1.2.2 \
-		aeson-2.1.2.1_1 \
-		alex-3.2.7.1 \
-		assoc-1.0.2_3 \
-		async-2.2.4_2 \
-		attoparsec-0.14.4_3 \
-		base-compat-0.12.2 \
-		base-compat-batteries-0.12.2 \
-		base-orphans-0.8.8.2 \
-		bifunctors-5.5.15 \
-		blaze-builder-0.4.2.2_1 \
-		blaze-html-0.9.1.2_2 \
-		blaze-markup-0.8.2.8_3 \
+		aeson-2.2.1.0_1 \
+		alex-3.5.0.0 \
+		ansi-terminal-1.0.2 \
+		ansi-terminal-types-0.11.5_1 \
+		assoc-1.1_1 \
+		async-2.2.5 \
+		base-compat-0.13.1 \
+		base-orphans-0.9.1 \
+		bifunctors-5.6.1_2 \
+		blaze-builder-0.4.2.3 \
+		blaze-html-0.9.1.2_4 \
+		blaze-markup-0.8.3.0_1 \
 		boxes-0.1.5 \
 		case-insensitive-1.2.1.0 \
-		comonad-5.0.8_1 \
+		colour-2.3.6 \
+		comonad-5.0.8_2 \
 		contravariant-1.5.5 \
-		data-array-byte-0.1.0.1_1 \
-		data-fix-0.3.2_3 \
+		data-fix-0.3.2_5 \
 		data-hash-0.2.0.1 \
 		distributive-0.6.2.1_1 \
-		dlist-1.0 \
+		dlist-1.0_1 \
 		edit-distance-0.2.2.1_1 \
 		equivalence-0.4.1 \
-		generically-0.1.1 \
+		foldable1-classes-compat-0.1_4 \
+		generically-0.1.1_2 \
 		gitrev-1.3.1 \
 		happy-1.20.1.1 \
-		hashable-1.4.2.0 \
-		indexed-traversable-0.1.2_2 \
-		indexed-traversable-instances-0.1.1.2 \
-		integer-logarithms-1.0.3.1_4 \
+		hashable-1.4.3.0_1 \
+		indexed-traversable-0.1.3 \
+		indexed-traversable-instances-0.1.1.2_2 \
+		integer-conversion-0.1.0.1_1 \
+		integer-logarithms-1.0.3.1_5 \
 		monad-control-1.0.3.1 \
-		murmur-hash-0.1.0.10 \
-		network-uri-2.6.4.2 \
-		parallel-3.2.2.0_5 \
-		primitive-0.8.0.0 \
-		random-1.2.1.1 \
-		regex-base-0.94.0.2_1 \
-		regex-tdfa-1.3.2 \
-		scientific-0.3.7.0_4 \
-		semialign-1.2.0.1_3 \
-		semigroupoids-5.3.7_1 \
-		split-0.2.3.5 \
-		splitmix-0.1.0.4_2 \
-		strict-0.4.0.1_4 \
-		tagged-0.8.7 \
-		text-short-0.1.5_1 \
-		th-abstraction-0.5.0.0 \
-		th-compat-0.1.4_2 \
-		these-1.1.1.1_6 \
-		time-compat-1.9.6.1_4 \
+		murmur-hash-0.1.0.10_1 \
+		network-uri-2.6.4.2_1 \
+		parallel-3.2.2.0_7 \
+		peano-0.1.0.2 \
+		primitive-0.9.0.0 \
+		random-1.2.1.1_1 \
+		regex-base-0.94.0.2_4 \
+		regex-tdfa-1.3.2.2_2 \
+		scientific-0.3.7.0_7 \
+		semialign-1.3_1 \
+		semigroupoids-6.0.0.1_1 \
+		split-0.2.5 \
+		splitmix-0.1.0.5 \
+		strict-0.5_1 \
+		tagged-0.8.8 \
+		text-iso8601-0.1_1 \
+		text-short-0.1.5_3 \
+		th-abstraction-0.6.0.0_1 \
+		th-compat-0.1.4_4 \
+		these-1.2_1 \
+		time-compat-1.9.6.1_6 \
 		transformers-base-0.4.6 \
 		transformers-compat-0.7.2 \
-		unordered-containers-0.2.19.1_1 \
-		uri-encode-1.5.0.7_2 \
+		unordered-containers-0.2.20_1 \
+		uri-encode-1.5.0.7_3 \
 		utf8-string-1.0.2 \
-		uuid-types-1.0.5_3 \
-		vector-0.13.0.0_3 \
-		vector-hashtables-0.1.1.2 \
-		vector-stream-0.1.0.0_2 \
+		uuid-types-1.0.5.1 \
+		vector-0.13.1.0 \
+		vector-hashtables-0.1.1.4 \
+		vector-stream-0.1.0.1 \
 		witherable-0.4.2_4 \
-		zlib-0.6.3.0_1
+		zlib-0.6.3.0_4
+
 
 CABAL_EXECUTABLES=	agda-mode agda
 CABAL_WRAPPER_SCRIPTS=	${CABAL_EXECUTABLES}