diff options
author | 2022-07-23 19:25:52 +0200 | |
---|---|---|
committer | 2022-07-23 19:41:00 +0200 | |
commit | cbb308be9f9e203cd2a885f43e5f568fddc16cb1 (patch) | |
tree | 4ae00c37ae6d2993f7bbb5c0681584d7f997db9d /net-p2p/bitcoin-cli | |
parent | app-emulation/ganeti: add live ebuilds (diff) | |
download | gentoo-cbb308be9f9e203cd2a885f43e5f568fddc16cb1.tar.gz gentoo-cbb308be9f9e203cd2a885f43e5f568fddc16cb1.tar.bz2 gentoo-cbb308be9f9e203cd2a885f43e5f568fddc16cb1.zip |
sci-mathematics/vampire: restrict z3 dep version
Closes: https://bugs.gentoo.org/860237
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'net-p2p/bitcoin-cli')
0 files changed, 0 insertions, 0 deletions