[Bug 281581] math/hs-Agda: update 2.7.0 → 2.7.0.1

From: <bugzilla-noreply_at_freebsd.org>
Date: Thu, 19 Sep 2024 16:24:22 UTC
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=281581

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

URL:
https://cgit.FreeBSD.org/ports/commit/?id=3ab20c4de76272d840057ffa58d34661606cc35b

commit 3ab20c4de76272d840057ffa58d34661606cc35b
Author:     Älven <alster@vinterdalen.se>
AuthorDate: 2024-09-19 15:22:36 +0000
Commit:     Gleb Popov <arrowd@FreeBSD.org>
CommitDate: 2024-09-19 16:23:18 +0000

    math/hs-Agda: Update to 2.7.0.1

    PR:             281581

 math/hs-Agda/Makefile |  6 +++---
 math/hs-Agda/distinfo | 12 +++++++-----
 2 files changed, 10 insertions(+), 8 deletions(-)

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