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

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

Gleb Popov <arrowd@FreeBSD.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |arrowd@FreeBSD.org
         Resolution|---                         |FIXED
              Flags|maintainer-feedback?(haskel |maintainer-feedback+
                   |l@FreeBSD.org)              |
             Status|New                         |Closed

--- Comment #6 from Gleb Popov <arrowd@FreeBSD.org> ---
Pushed, thank you.

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