Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/cvc4/metadata.xml
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/cvc4: drop 1.7-r1Alfredo Tupone2023-01-291-1/+0
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/cvc4: add github upstream metadataAlfredo Tupone2022-12-051-0/+3
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/cvc4: use <pkg> tag in metadata.xmlPetr Vaněk2022-08-261-1/+1
| | | | | Signed-off-by: Petr Vaněk <arkamar@atlas.cz> Signed-off-by: Sam James <sam@gentoo.org>
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
| | | | | Bug: https://bugs.gentoo.org/552720 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/cvc4: add statistics, replay and proofs use flagTupone Alfredo2019-07-231-0/+3
| | | | | | Closes: https://github.com/gentoo/gentoo/pull/12520 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
* sci-mathematics/cvc4: Add cvc4 to the treeTupone Alfredo2018-07-181-0/+17
Package-Manager: Portage-2.3.40, Repoman-2.3.9