[Bug 281581] math/hs-Agda: update 2.7.0 → 2.7.0.1
- Reply: bugzilla-noreply_a_freebsd.org: "maintainer-approval requested: [Bug 281 581] math/hs-Agda: update 2.7.0 → 2.7.0.1 : [Attachment 253652] [PATCH] math/hs-Agda: up date 2.7.0 → 2.7.0.1"
- Reply: bugzilla-noreply_a_freebsd.org: "[Bug 281581] math/hs-Agda: update 2.7.0 → 2.7.0.1"
- Reply: bugzilla-noreply_a_freebsd.org: "[Bug 281581] math/hs-Agda: update 2.7.0 → 2.7.0.1"
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Thu, 19 Sep 2024 06:25:19 UTC
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=281581
Bug ID: 281581
Summary: math/hs-Agda: update 2.7.0 → 2.7.0.1
Product: Ports & Packages
Version: Latest
Hardware: Any
URL: https://hackage.haskell.org/package/Agda-2.7.0.1/chang
elog
OS: Any
Status: New
Severity: Affects Only Me
Priority: ---
Component: Individual Port(s)
Assignee: haskell@FreeBSD.org
Reporter: alster@vinterdalen.se
CC: haskell@FreeBSD.org
Assignee: haskell@FreeBSD.org
Flags: maintainer-feedback?(haskell@FreeBSD.org)
Attachment #253652 maintainer-approval?(haskell@FreeBSD.org)
Flags:
CC: haskell@FreeBSD.org
Created attachment 253652
--> https://bugs.freebsd.org/bugzilla/attachment.cgi?id=253652&action=edit
[PATCH] math/hs-Agda: update 2.7.0 → 2.7.0.1
--
You are receiving this mail because:
You are the assignee for the bug.
You are on the CC list for the bug.