diff options
| author | Alfredo Tupone <tupone@gentoo.org> | 2021-01-20 08:31:58 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2021-01-20 08:31:58 +0100 |
| commit | 5e516f03a0f0543480601b545cadfa074c6051eb (patch) | |
| tree | 55e56eed55cd4e6252e1916485fb94e78657f348 /dev-python | |
| parent | 34dd1a6c749cfe9f9bcddf54ba4d7c202ff472e2 (diff) | |
| download | gentoo-5e516f03a0f0543480601b545cadfa074c6051eb.tar.gz gentoo-5e516f03a0f0543480601b545cadfa074c6051eb.tar.bz2 gentoo-5e516f03a0f0543480601b545cadfa074c6051eb.zip | |
sci-mathematics/cvc4: add python dep
Closes: https://bugs.gentoo.org/766099
Package-Manager: Portage-3.0.12, Repoman-3.0.2
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-python')
0 files changed, 0 insertions, 0 deletions