[Bug 278518] math/coq: update 8.19 -> 8.19.1
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Mon, 22 Apr 2024 00:25:36 UTC
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=278518 Bug ID: 278518 Summary: math/coq: update 8.19 -> 8.19.1 Product: Ports & Packages Version: Latest Hardware: Any URL: https://github.com/coq/coq/releases/tag/V8.19.1 OS: Any Status: New Severity: Affects Only Me Priority: --- Component: Individual Port(s) Assignee: hrs@FreeBSD.org Reporter: alster@vinterdalen.se Assignee: hrs@FreeBSD.org Flags: maintainer-feedback?(hrs@FreeBSD.org) -- You are receiving this mail because: You are the assignee for the bug.