projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f38b838) | patch
sci-mathematics/cvc4: Bump to 1.7
authorTupone Alfredo <tupone@gentoo.org>
Sun, 14 Jul 2019 19:48:18 +0000 (21:48 +0200)
committerTupone Alfredo <tupone@gentoo.org>
Sun, 14 Jul 2019 19:48:18 +0000 (21:48 +0200)
commit0165d1484b0c9ad0f2272960c80703e2c0b231f2
tree3cffa84d759de1b6ff898ef7884a1602f09679a8tree | snapshot
parentf38b838bd62e7573a4ae9f1707cc27bdfcc38cf0commit | diff
sci-mathematics/cvc4: Bump to 1.7

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/Manifest diff | blob | history
sci-mathematics/cvc4/cvc4-1.7.ebuild [new file with mode: 0644] blob
sci-mathematics/cvc4/files/cvc4-1.7-gentoo.patch [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.