| author | Tupone Alfredo <tupone@gentoo.org> | |
| Wed, 18 Jul 2018 06:28:48 +0000 (08:28 +0200) | ||
| committer | Tupone Alfredo <tupone@gentoo.org> | |
| Wed, 18 Jul 2018 06:28:48 +0000 (08:28 +0200) | ||
| commit | ed51ccdb299c48d49d8750b05299431723016732 | |
| tree | 2d749682ea1a06b393eed3671b309d71809d7120 | tree | snapshot |
| parent | c454869172e21775253c90a932bb248743ef1c8f | commit | diff |
| sci-mathematics/cvc4/Manifest | [new file with mode: 0644] | blob |
| sci-mathematics/cvc4/cvc4-1.6.ebuild | [new file with mode: 0644] | blob |
| sci-mathematics/cvc4/metadata.xml | [new file with mode: 0644] | blob |