[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.