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

From: <bugzilla-noreply_at_freebsd.org>
Date: Sat, 16 Mar 2024 09:04:19 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 249212: [PATCH] math/hs-Agda: update to 2.6.4.3
https://bugs.freebsd.org/bugzilla/attachment.cgi?id=249212&action=edit



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