Diffusion FreeBSD ports repository rP510141

New port: math/vampire: Automatic theorem prover
rP510141
Actions

Description

New port: math/vampire: Automatic theorem prover

Details

Provenance

yuri	Authored on

Parents

rP510140: sysutils/polkit-qt: fix pkg-name

Branches

Unknown

Tags

Unknown

Event Timeline

yuri committed rP510141: New port: math/vampire: Automatic theorem prover.Aug 29 2019, 5:30 AM

Changes (8)

Path

Size

head/

math/

vampire/

Makefile

distinfo

files

patch-Lib_Portability.hpp

patch-Lib_System.cpp

patch-Makefile

pkg-descr

rP510141

View Options

head/math/vampire/

View Options

head/math/vampire/Makefile

View Options

head/math/vampire/distinfo

View Options

head/math/vampire/files/

View Options

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

View Options

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

View Options

head/math/vampire/files/patch-Makefile

View Options

head/math/vampire/pkg-descr

New port: math/vampire: Automatic theorem proverrP510141Actions

Description

Details

Event Timeline

Changes (8)

rP510141

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

New port: math/vampire: Automatic theorem prover
rP510141
Actions