Opened 2 weeks ago

Last modified 2 weeks ago

#69761 assigned update

vampire: Update to latest release

Reported by: ryandesign (Ryan Carsten Schmidt) Owned by: landonf (Landon Fuller)
Priority: Normal Milestone:
Component: ports Version:
Keywords: haspatch Cc: barracuda156
Port: vampire

Description

The vampire port is using a commit from 2021 but version 4.8 was released in 2023.

https://github.com/vprover/vampire/releases/latest

Change History (1)

comment:1 Changed 2 weeks ago by ryandesign (Ryan Carsten Schmidt)

Cc: barracuda156 added
Keywords: haspatch added

Sergey submitted a PR to update to a newer commit because there have been some important fixes since the last release.

https://github.com/macports/macports-ports/pull/23476

He also requests to become co-maintainer.

Note: See TracTickets for help on using tickets.