Remove unhooked port
rP510757
Actions

Description

Remove unhooked port

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (8)

Path

Size

head/

math/

vampire/

rP510757

head/math/vampire/

head/math/vampire/Makefile

head/math/vampire/distinfo

head/math/vampire/files/

head/math/vampire/files/patch-Lib_Portability.hpp

head/math/vampire/files/patch-Lib_System.cpp

head/math/vampire/files/patch-Makefile

head/math/vampire/pkg-descr

Remove unhooked portrP510757Actions

Description

Details

Changes (8)

rP510757

head/math/vampire/

head/math/vampire/Makefile

head/math/vampire/distinfo

head/math/vampire/files/

head/math/vampire/files/patch-Lib_Portability.hpp

head/math/vampire/files/patch-Lib_System.cpp

head/math/vampire/files/patch-Makefile

head/math/vampire/pkg-descr

Remove unhooked port
rP510757
Actions