[MacPorts] #69761: vampire: Update to latest release

Wed Apr 17 08:22:41 UTC 2024

#69761: vampire: Update to latest release
------------------------+----------------------
 Reporter:  ryandesign  |      Owner:  landonf
     Type:  update      |     Status:  assigned
 Priority:  Normal      |  Milestone:
Component:  ports       |    Version:
 Keywords:              |       Port:  vampire
------------------------+----------------------
 The vampire port is using a commit from 2021 but version 4.8 was released
 in 2023.

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

-- 
Ticket URL: <https://trac.macports.org/ticket/69761>
MacPorts <https://www.macports.org/>
Ports system for macOS