git: b75f73f27f65 - main - math/hs-Agda: Add forgotten Makefile.cabal, fixes build

The branch main has been updated by alven:

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

commit b75f73f27f65abd432e81838e772978910848e55
Author:     Älven <alven@FreeBSD.org>
AuthorDate: 2026-09-15 20:21:52 +0000
Commit:     Älven <alven@FreeBSD.org>
CommitDate: 2026-09-15 20:25:05 +0000

    math/hs-Agda: Add forgotten Makefile.cabal, fixes build
    
    Approved by:    haskell@ (alven@)
    Fixes:          bc787f8e0d50 math/hs-Agda: Update 2.8.0 => 2.8.0.2
---
 math/hs-Agda/Makefile.cabal | 90 +++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 90 insertions(+)

diff --git a/math/hs-Agda/Makefile.cabal b/math/hs-Agda/Makefile.cabal
new file mode 100644
index 000000000000..98dca65b4e3d
--- /dev/null
+++ b/math/hs-Agda/Makefile.cabal
@@ -0,0 +1,90 @@
+USE_CABAL=	ListLike-4.7.8.4 \
+		OneTuple-0.4.3 \
+		QuickCheck-2.18.0.0 \
+		STMonadTrans-0.4.8.1 \
+		StateVar-1.2.2 \
+		aeson-2.3.2.0 \
+		alex-3.5.4.2 \
+		ansi-terminal-1.1.5 \
+		ansi-terminal-types-1.1.3 \
+		ap-normalize-0.1.0.1 \
+		assoc-1.1.1_2 \
+		async-2.2.6 \
+		base-orphans-0.9.4 \
+		bifunctors-5.6.3_1 \
+		blaze-builder-0.4.4.1 \
+		blaze-html-0.9.2.0_1 \
+		blaze-markup-0.8.3.0_2 \
+		boxes-0.1.5 \
+		case-insensitive-1.2.1.0 \
+		character-ps-0.1 \
+		colour-2.3.7 \
+		comonad-5.0.10 \
+		contravariant-1.5.6 \
+		data-default-0.8.0.2 \
+		data-fix-0.3.4_2 \
+		data-hash-0.2.0.1 \
+		distributive-0.6.3 \
+		dlist-1.0_2 \
+		edit-distance-0.2.2.1_1 \
+		enummapset-0.7.3.0_2 \
+		equivalence-0.4.1.1 \
+		filelock-0.1.1.9 \
+		filemanip-0.3.6.3_1 \
+		fmlist-0.9.5 \
+		generic-data-1.1.0.2_1 \
+		generic-deriving-1.14.7 \
+		happy-2.2 \
+		happy-lib-2.2 \
+		hashable-1.5.1.0 \
+		hsc2hs-0.68.10_5 \
+		indexed-traversable-0.1.5 \
+		indexed-traversable-instances-0.1.2.1 \
+		integer-conversion-0.1.1_2 \
+		integer-logarithms-1.0.5 \
+		invariant-0.6.5 \
+		monad-control-1.0.3.1 \
+		murmur-hash-0.1.0.11 \
+		network-uri-2.6.4.2_1 \
+		nonempty-containers-0.3.6.0 \
+		nonempty-vector-0.2.4_1 \
+		optparse-applicative-0.19.0.0_1 \
+		parallel-3.3.0.0_1 \
+		peano-0.1.1.0 \
+		pqueue-1.7.0.0 \
+		prettyprinter-1.7.2 \
+		prettyprinter-ansi-terminal-1.1.4 \
+		primitive-0.9.1.0_1 \
+		process-extras-0.7.4_1 \
+		profunctors-5.6.3 \
+		random-1.3.1 \
+		regex-base-0.94.0.3 \
+		regex-tdfa-1.3.2.6 \
+		scientific-0.3.8.1 \
+		semialign-1.4 \
+		semigroupoids-6.0.2_1 \
+		show-combinators-0.2.0.0_2 \
+		split-0.2.5.1 \
+		splitmix-0.1.3.2 \
+		strict-0.5.1_1 \
+		tagged-0.8.10_1 \
+		tasty-1.5.4 \
+		text-iso8601-0.2.0.0 \
+		text-short-0.1.6.1 \
+		th-abstraction-0.7.2.0 \
+		th-compat-0.1.7 \
+		these-1.2.1_3 \
+		time-compat-1.9.9_1 \
+		transformers-base-0.4.6.1 \
+		transformers-compat-0.7.2 \
+		unix-compat-0.7.4.1 \
+		unordered-containers-0.2.21_2 \
+		uri-encode-1.5.0.7_3 \
+		utf8-string-1.0.2 \
+		uuid-types-1.0.6.1 \
+		vector-0.13.2.0_5 \
+		vector-hashtables-0.1.2.1_2 \
+		vector-stream-0.1.0.1_4 \
+		witherable-0.5_2 \
+		zlib-0.7.1.1
+