sci-mathematics/cvc4: Add cvc4 to the tree
authorTupone Alfredo <tupone@gentoo.org>
Wed, 18 Jul 2018 06:28:48 +0000 (08:28 +0200)
committerTupone Alfredo <tupone@gentoo.org>
Wed, 18 Jul 2018 06:28:48 +0000 (08:28 +0200)
commited51ccdb299c48d49d8750b05299431723016732
tree2d749682ea1a06b393eed3671b309d71809d7120
parentc454869172e21775253c90a932bb248743ef1c8f
sci-mathematics/cvc4: Add cvc4 to the tree

Package-Manager: Portage-2.3.40, Repoman-2.3.9
sci-mathematics/cvc4/Manifest [new file with mode: 0644]
sci-mathematics/cvc4/cvc4-1.6.ebuild [new file with mode: 0644]
sci-mathematics/cvc4/metadata.xml [new file with mode: 0644]