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: bump to 4.9Maciej Barć2024-09-302-0/+64
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/vampire: drop old 4.7-r1Maciej Barć2023-08-223-104/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/vampire: bump to 4.8Maciej Barć2023-07-152-0/+60
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/vampire: drop old 4.6.1-r2Maciej Barć2023-07-152-60/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/vampire: fix build on muslMaciej Barć2023-02-063-5/+49
| | | | | | Bug: https://github.com/vprover/vampire/pull/432 Closes: https://bugs.gentoo.org/832834 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* 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>