bosy icon indicating copy to clipboard operation
bosy copied to clipboard

Published 20 hours ago • verified publisher icon reactive-systems

Broken link to Vampire dependency

Open shaunazzopardi opened this issue 1 year ago • 0 comments

The link to dependency Vampire in ./Makefile is broken: http://forsyte.at/wp-content/uploads/vampire.zip

shaunazzopardi avatar May 02 '23 19:05 shaunazzopardi