projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f584ca0) | patch
sci-mathematics/cvc4: add statistics, replay and proofs use flag
authorTupone Alfredo <tupone@gentoo.org>
Tue, 23 Jul 2019 13:20:29 +0000 (15:20 +0200)
committerTupone Alfredo <tupone@gentoo.org>
Tue, 23 Jul 2019 13:20:29 +0000 (15:20 +0200)
commitd72e9b862cbc9ccfabd0df7f53e7fe7664d22ae9
tree75b740b3136d9407791592b79064f3881ae35396tree | snapshot
parentf584ca053067b4aa6fb09cfe655ab260035366d2commit | diff
sci-mathematics/cvc4: add statistics, replay and proofs use flag

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/cvc4-1.7.ebuild diff | blob | history
sci-mathematics/cvc4/metadata.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.