maintainer-approval requested: [Bug 280 954] math/hs-Agda: update 2.6.4.3 → 2.7.0 : [Attachment 252962] [PATCH] math/hs-Agda: up date 2.6.4.3 → 2.7.0
- In reply to: bugzilla-noreply_a_freebsd.org: "[Bug 280954] math/hs-Agda: update 2.6.4 .3 → 2.7.0"
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Tue, 20 Aug 2024 22:04:46 UTC
Älven <alster@vinterdalen.se> has asked freebsd-haskell (Nobody) <haskell@FreeBSD.org> for maintainer-approval: Bug 280954: math/hs-Agda: update 2.6.4.3 → 2.7.0 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=280954 Attachment 252962: [PATCH] math/hs-Agda: update 2.6.4.3 → 2.7.0 https://bugs.freebsd.org/bugzilla/attachment.cgi?id=252962&action=edit