Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/vampire
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/vampire: depend on z3 version >=4.11.2Maciej Barć2022-09-232-2/+2
| | | | | | | | both vampire 4.6.1 and 4.7 build correctly with >=sci-mathematics/z3-4.11.2 Closes: https://bugs.gentoo.org/872512 Bug: https://bugs.gentoo.org/860237 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/vampire: filter LTO (strict-aliasing)Maciej Barć2022-08-072-2/+10
| | | | | Closes: https://bugs.gentoo.org/863269 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/vampire: bump to 4.7Maciej Barć2022-07-232-0/+58
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/vampire: restrict z3 dep versionMaciej Barć2022-07-231-2/+2
| | | | | Closes: https://bugs.gentoo.org/860237 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2022-01-251-1/+1
| | | | | | Again. :( Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/vampire: change maintainer to Gentoo Mathematics ProjectMaciej Barć2021-12-251-3/+3
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/vampire: new package; add version 4.6.1Maciej Barć2021-12-113-0/+79
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>