freebsd-ports/math/vampire/files
..
patch-Lib_Portability.hpp
patch-Lib_System.cpp
patch-Makefile