aboutsummaryrefslogtreecommitdiff
path: root/math/vampire
Commit message (Expand)AuthorAgeFilesLines
* math/vampire: Broken on armv7, powerpcYuri Victorovich2024-02-041-0/+2
* math/vampire: Add PORTSCOUT lineYuri Victorovich2023-09-141-0/+2
* math/vampire: Update 4.7-423 → 4.8Yuri Victorovich2023-07-133-44/+10
* math/vampire: Broken on i386Yuri Victorovich2023-07-101-0/+2
* math/vampire: Update 4.5.1 → 4.7-423Yuri Victorovich2023-06-255-48/+8
* Remove WWW entries moved into port MakefilesStefan Eßer2022-09-071-2/+0
* Add WWW entries to port MakefilesStefan Eßer2022-09-071-0/+1
* One more small cleanup, forgotten yesterday.Mathieu Arnold2021-04-071-1/+0
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
* math/vampire: Update 4.4 -> 4.5.1Yuri Victorovich2020-07-163-7/+7
* Fix some misspelled or duplicated LICENSE_*Tobias Kortkamp2019-09-171-1/+1
* math/vampire: Hook to the buildYuri Victorovich2019-09-026-0/+112
* Remove unhooked portAntoine Brodin2019-09-026-112/+0
* Fix build on GCC-based systems by adding compiler:c++11-lang toMark Linimon2019-09-011-1/+1
* New port: math/vampire: Automatic theorem proverYuri Victorovich2019-08-296-0/+112
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-26 09:24:25 +0000