Bug 277730
| Summary: | math/hs-Agda: update to 2.6.4.3 | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Product: | Ports & Packages | Reporter: | Älven <alster> | ||||||
| Component: | Individual Port(s) | Assignee: | freebsd-haskell (Nobody) <haskell> | ||||||
| Status: | Closed FIXED | ||||||||
| Severity: | Affects Some People | CC: | alster, arrowd, haskell | ||||||
| Priority: | --- | Flags: | arrowd:
maintainer-feedback+
|
||||||
| Version: | Latest | ||||||||
| Hardware: | Any | ||||||||
| OS: | Any | ||||||||
| URL: | https://hackage.haskell.org/package/Agda-2.6.4.3/changelog | ||||||||
| Attachments: |
|
||||||||
|
Description
Älven
2024-03-16 02:24:38 UTC
Created attachment 249212 [details]
[PATCH] math/hs-Agda: update to 2.6.4.3
Created attachment 249213 [details]
[PATCH] math/hs-Agda: Update to 2.6.4.3
A commit in branch main references this bug: URL: https://cgit.FreeBSD.org/ports/commit/?id=527e6c404244e02316add1fff56ecd2ef539a58e commit 527e6c404244e02316add1fff56ecd2ef539a58e Author: Andrey Korobkov <alster@vinterdalen.se> AuthorDate: 2024-03-16 11:36:59 +0000 Commit: Gleb Popov <arrowd@FreeBSD.org> CommitDate: 2024-03-16 11:51:15 +0000 math/hs-Agda: Update to 2.6.4.3 PR: 277730 math/hs-Agda/Makefile | 23 +++++++++++------------ math/hs-Agda/distinfo | 46 +++++++++++++++++++--------------------------- 2 files changed, 30 insertions(+), 39 deletions(-) A commit in branch main references this bug: URL: https://cgit.FreeBSD.org/ports/commit/?id=189bfde11e2d8b67defc18910b0d6f9efba40f41 commit 189bfde11e2d8b67defc18910b0d6f9efba40f41 Author: Gleb Popov <arrowd@FreeBSD.org> AuthorDate: 2024-03-16 11:50:44 +0000 Commit: Gleb Popov <arrowd@FreeBSD.org> CommitDate: 2024-03-16 11:51:15 +0000 math/hs-Agda: Fix plist PR: 277730 Fixes: ba61a442a89ec86117ece8c356b5c5117a67681e math/hs-Agda/Makefile | 2 ++ math/hs-Agda/pkg-plist | 75 +++++++++++++++++++++++++------------------------- 2 files changed, 40 insertions(+), 37 deletions(-) A commit in branch main references this bug: URL: https://cgit.FreeBSD.org/ports/commit/?id=d9edbdde5ddc9d4a517d7b61def652172f96cea9 commit d9edbdde5ddc9d4a517d7b61def652172f96cea9 Author: Andrey Korobkov <alster@vinterdalen.se> AuthorDate: 2024-03-16 11:58:09 +0000 Commit: Gleb Popov <arrowd@FreeBSD.org> CommitDate: 2024-03-16 11:58:29 +0000 math/hs-Agda: Fix LICENSE PR: 277730 math/hs-Agda/Makefile | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) Pushed, thank you. |
