Bug 281581 - math/hs-Agda: update 2.7.0 → 2.7.0.1
Summary: math/hs-Agda: update 2.7.0 → 2.7.0.1
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-09-19 06:25 UTC by Älven
Modified: 2024-09-19 16:34 UTC (History)
2 users (show)

See Also:
arrowd: maintainer-feedback+

Attachments
[PATCH] math/hs-Agda: update 2.7.0 → 2.7.0.1 (3.76 KB, patch)
2024-09-19 06:25 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-09-19 06:25:19 UTC 
Created attachment 253652 [details]
[PATCH] math/hs-Agda: update 2.7.0 → 2.7.0.1
Comment 1 commit-hook freebsd_committer freebsd_triage 2024-09-19 16:24:22 UTC 
A commit in branch main references this bug:

URL: https://cgit.FreeBSD.org/ports/commit/?id=3ab20c4de76272d840057ffa58d34661606cc35b

commit 3ab20c4de76272d840057ffa58d34661606cc35b
Author:     Älven <alster@vinterdalen.se>
AuthorDate: 2024-09-19 15:22:36 +0000
Commit:     Gleb Popov <arrowd@FreeBSD.org>
CommitDate: 2024-09-19 16:23:18 +0000

    math/hs-Agda: Update to 2.7.0.1

    PR:             281581

 math/hs-Agda/Makefile |  6 +++---
 math/hs-Agda/distinfo | 12 +++++++-----
 2 files changed, 10 insertions(+), 8 deletions(-)
Comment 2 Gleb Popov freebsd_committer freebsd_triage 2024-09-19 16:34:20 UTC 
Thank you.