[Bug 280156] math/lean4: Update to 4.9.0
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Sat, 06 Jul 2024 08:54:35 UTC
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=280156 Bug ID: 280156 Summary: math/lean4: Update to 4.9.0 Product: Ports & Packages Version: Latest Hardware: Any OS: Any Status: New Severity: Affects Only Me Priority: --- Component: Individual Port(s) Assignee: yuri@freebsd.org Reporter: wen@FreeBSD.org Assignee: yuri@freebsd.org Flags: maintainer-feedback?(yuri@freebsd.org) Created attachment 251897 --> https://bugs.freebsd.org/bugzilla/attachment.cgi?id=251897&action=edit Update to 4.9.0 Update to 4.9.0 -- You are receiving this mail because: You are the assignee for the bug.