Bug 280954 - math/hs-Agda: update 2.6.4.3 → 2.7.0
Summary: math/hs-Agda: update 2.6.4.3 → 2.7.0
Status: Closed FIXED
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: --- Affects Only Me
Assignee: freebsd-haskell (Nobody)
URL: https://hackage.haskell.org/package/A...
Keywords:
Depends on:
Blocks:
 
Reported: 2024-08-20 22:04 UTC by Älven
Modified: 2024-08-21 09:38 UTC (History)
1 user (show)

See Also:
bugzilla: maintainer-feedback? (haskell)

Attachments
[PATCH] math/hs-Agda: update 2.6.4.3 → 2.7.0 (34.30 KB, patch)
2024-08-20 22:04 UTC, Älven 		alster: maintainer-approval? (haskell)
 Details | Diff
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Älven 2024-08-20 22:04:46 UTC 
Created attachment 252962 [details]
[PATCH] math/hs-Agda: update 2.6.4.3 → 2.7.0
Comment 1 commit-hook freebsd_committer freebsd_triage 2024-08-21 09:33:22 UTC 
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(-)