Bug 283111 - math/coq: Update to 8.20
Summary: math/coq: Update to 8.20
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: Hiroki Sato
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2024-12-04 03:11 UTC by wen
Modified: 2025-02-14 15:55 UTC (History)
2 users (show)

See Also:

Attachments
Update to 8.20 (49.06 KB, text/plain)
2024-12-04 03:11 UTC, wen 		no flags Details
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 wen 2024-12-04 03:11:27 UTC 
Created attachment 255612 [details]
Update to 8.20

Update to 8.20
Comment 1 commit-hook freebsd_committer freebsd_triage 2025-02-14 03:14:10 UTC 
A commit in branch main references this bug:

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

commit c3734cabb4d0c3b10dd2b4c92fac9884b9c12161
Author:     Wen Heping <wen@FreeBSD.org>
AuthorDate: 2025-02-14 02:30:50 +0000
Commit:     Wen Heping <wen@FreeBSD.org>
CommitDate: 2025-02-14 03:13:28 +0000

    math/coq: Update to 8.20.1

    PR:             283111
    Reported by:    wenheping2000@hotmail.com
    Approved by:    maintainer(timeout, > 60 days)

 math/coq/Makefile  |   5 +-
 math/coq/distinfo  |   6 +-
 math/coq/pkg-plist | 491 +++++++++++++++++++++++++++++++++++++----------------
 3 files changed, 348 insertions(+), 154 deletions(-)
Comment 2 Benjamin Jacobs 2025-02-14 15:49:09 UTC 
There was a patch on https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=278518 
Albeit only for 8.19 and then 8.20... Can somebody close that bug then?
Comment 3 Benjamin Jacobs 2025-02-14 15:55:29 UTC 
I'd still want to get the NATIVE option landed somehow... so do i need to open yet another bug ? :-/