[Bug 280954] math/hs-Agda: update 2.6.4 .3 → 2.7.0

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

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

URL:
https://cgit.FreeBSD.org/ports/commit/?id=89654d1f64f1c204888c2f2498b7da65c1937c69

commit 89654d1f64f1c204888c2f2498b7da65c1937c69
Author:     Älven <alster@vinterdalen.se>
AuthorDate: 2024-08-21 08:59:14 +0000
Commit:     Gleb Popov <arrowd@FreeBSD.org>
CommitDate: 2024-08-21 09:32:21 +0000

    math/hs-Agda: Update to 2.7.0

    PR:             280954

 math/hs-Agda/Makefile  |  95 ++++++++++----------
 math/hs-Agda/distinfo  | 232 ++++++++++++++++++++++++++-----------------------
 math/hs-Agda/pkg-descr |  10 +--
 3 files changed, 175 insertions(+), 162 deletions(-)

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