maintainer-approval requested: [Bug 277730] math/hs-Agda: update to 2.6.4.3 : [Attachment 249213] [PATCH] math/hs-Agda: Update to 2.6.4.3

From: <bugzilla-noreply_at_freebsd.org>
Date: Sat, 16 Mar 2024 10:15:40 UTC
Andrey Korobkov <alster@vinterdalen.se> has asked freebsd-haskell (Nobody)
<haskell@FreeBSD.org> for maintainer-approval:
Bug 277730: math/hs-Agda: update to 2.6.4.3
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=277730

Attachment 249213: [PATCH] math/hs-Agda: Update to 2.6.4.3
https://bugs.freebsd.org/bugzilla/attachment.cgi?id=249213&action=edit



--- Comment #2 from Andrey Korobkov <alster@vinterdalen.se> ---
Created attachment 249213
  --> https://bugs.freebsd.org/bugzilla/attachment.cgi?id=249213&action=edit
[PATCH] math/hs-Agda: Update to 2.6.4.3