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

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=277730

--- Comment #3 from commit-hook@FreeBSD.org ---
A commit in branch main references this bug:

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

commit 527e6c404244e02316add1fff56ecd2ef539a58e
Author:     Andrey Korobkov <alster@vinterdalen.se>
AuthorDate: 2024-03-16 11:36:59 +0000
Commit:     Gleb Popov <arrowd@FreeBSD.org>
CommitDate: 2024-03-16 11:51:15 +0000

    math/hs-Agda: Update to 2.6.4.3

    PR:             277730

 math/hs-Agda/Makefile | 23 +++++++++++------------
 math/hs-Agda/distinfo | 46 +++++++++++++++++++---------------------------
 2 files changed, 30 insertions(+), 39 deletions(-)

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