| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/cvc4: Bump to 1.7 |   Tupone Alfredo | 2019-07-14 | 1 | -0/+1 |
| | | | | | | | Closes: https://bugs.gentoo.org/688652 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 tree | Tupone Alfredo | 2018-07-18 | 1 | -0/+1 |
| Package-Manager: Portage-2.3.40, Repoman-2.3.9 | |||||
GitWeb