Date: Wed, 21 Aug 2024 09:33:22 +0000 From: bugzilla-noreply@freebsd.org To: haskell@FreeBSD.org Subject: =?UTF-8?B?W0J1ZyAyODA5NTRdIG1hdGgvaHMtQWdkYTogdXBkYXRlIDIuNi40?= =?UTF-8?B?LjMg4oaSIDIuNy4w?= Message-ID: <bug-280954-16154-jymGrOFXH5@https.bugs.freebsd.org/bugzilla/> In-Reply-To: <bug-280954-16154@https.bugs.freebsd.org/bugzilla/> References: <bug-280954-16154@https.bugs.freebsd.org/bugzilla/>
index | next in thread | previous in thread | raw e-mail
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.help
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?bug-280954-16154-jymGrOFXH5>