[Bug 277730] math/hs-Agda: update to 2.6.4.3

From: <bugzilla-noreply_at_freebsd.org>
Date: Sat, 16 Mar 2024 10:15:40 UTC
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=277730

Andrey Korobkov <alster@vinterdalen.se> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
 Attachment #249212|maintainer-approval?(haskel |
              Flags|l@FreeBSD.org)              |
 Attachment #249212|0                           |1
        is obsolete|                            |
 Attachment #249213|                            |maintainer-approval?(haskel
              Flags|                            |l@FreeBSD.org)

--- 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

-- 
You are receiving this mail because:
You are the assignee for the bug.
You are on the CC list for the bug.