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 |