Diffusion FreeBSD ports repository 15b7c512e6db

math/vampire: Add PORTSCOUT line
15b7c512e6db
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

math/vampire: Add PORTSCOUT line

Details

Provenance

yuri	Authored on Sep 14 2023, 7:04 AM

Parents

R11:7bb7c21f9d57: math/trlib: update g20211004 → 0.4

Branches

Unknown

Tags

Unknown

Event Timeline

yuri committed R11:15b7c512e6db: math/vampire: Add PORTSCOUT line (authored by yuri).Sep 14 2023, 7:53 AM

Changes (1)

Path

Size

math/

vampire/

R11:15b7c512e6db

math/vampire/Makefile

Loading...