summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/vampire: drop old 4.7-r1Maciej Barć2023-08-223-104/+0
* sci-mathematics/vampire: bump to 4.8Maciej Barć2023-07-152-0/+60
* sci-mathematics/vampire: drop old 4.6.1-r2Maciej Barć2023-07-152-60/+0
* sci-mathematics/vampire: fix build on muslMaciej Barć2023-02-063-5/+49
* sci-mathematics/vampire: depend on z3 version >=4.11.2Maciej Barć2022-09-232-2/+2
* sci-mathematics/vampire: filter LTO (strict-aliasing)Maciej Barć2022-08-072-2/+10
* sci-mathematics/vampire: bump to 4.7Maciej Barć2022-07-232-0/+58
* sci-mathematics/vampire: restrict z3 dep versionMaciej Barć2022-07-231-2/+2
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2022-01-251-1/+1
* sci-mathematics/vampire: change maintainer to Gentoo Mathematics ProjectMaciej Barć2021-12-251-3/+3
* sci-mathematics/vampire: new package; add version 4.6.1Maciej Barć2021-12-113-0/+79