Yuri Victorovich 15b7c512e6 math/vampire: Add PORTSCOUT line

2023-09-14 00:53:02 -07:00

..

distinfo

math/vampire: Update 4.7-423 → 4.8

2023-07-12 23:11:31 -07:00

Makefile

math/vampire: Add PORTSCOUT line

2023-09-14 00:53:02 -07:00

pkg-descr

…