freebsd/ports
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
ports/math/vampire
History
Tobias Kortkamp c8b9433fc5 Fix some misspelled or duplicated LICENSE_*
2019-09-17 19:21:45 +00:00
..
files
math/vampire: Hook to the build
2019-09-02 06:02:54 +00:00
distinfo
math/vampire: Hook to the build
2019-09-02 06:02:54 +00:00
Makefile
Fix some misspelled or duplicated LICENSE_*
2019-09-17 19:21:45 +00:00
pkg-descr
math/vampire: Hook to the build
2019-09-02 06:02:54 +00:00