[Bug 278471] math/abella: Update 2.0.7 -> 2.0.8
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Sat, 20 Apr 2024 01:39:07 UTC
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=278471 Bug ID: 278471 Summary: math/abella: Update 2.0.7 -> 2.0.8 Product: Ports & Packages Version: Latest Hardware: Any URL: https://github.com/abella-prover/abella/releases/tag/v 2.0.8 OS: Any Status: New Severity: Affects Only Me Priority: --- Component: Individual Port(s) Assignee: yuri@freebsd.org Reporter: alster@vinterdalen.se Assignee: yuri@freebsd.org Flags: maintainer-feedback?(yuri@freebsd.org) -- You are receiving this mail because: You are the assignee for the bug.