diff options
| author |   Tupone Alfredo <tupone@gentoo.org> | 2019-07-14 21:48:18 +0200 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2019-07-14 21:48:18 +0200 |
| commit | 0165d1484b0c9ad0f2272960c80703e2c0b231f2 (patch) | |
| tree | 3cffa84d759de1b6ff898ef7884a1602f09679a8 /sci-mathematics/cvc4/Manifest | |
| parent | dev-lang/python: update patchset for 3.7.4 (diff) | |
| download | gentoo-0165d1484b0c9ad0f2272960c80703e2c0b231f2.tar.gz gentoo-0165d1484b0c9ad0f2272960c80703e2c0b231f2.tar.bz2 gentoo-0165d1484b0c9ad0f2272960c80703e2c0b231f2.zip | |
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
Diffstat (limited to 'sci-mathematics/cvc4/Manifest')
| -rw-r--r-- | sci-mathematics/cvc4/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sci-mathematics/cvc4/Manifest b/sci-mathematics/cvc4/Manifest index 2b268f2188b7..daaafcc4d443 100644 --- a/sci-mathematics/cvc4/Manifest +++ b/sci-mathematics/cvc4/Manifest @@ -1 +1,2 @@ DIST cvc4-1.6.tar.gz 7815893 BLAKE2B 626e0dd49f911384e64d7e8ecf635aa12dad32830b2032bdcb96afd1a17c3566f56df51f75e9193cf365b562855733d0ea4ff3311ac99fc86e928a956298d2ad SHA512 0887b3f74a4b9e51e634591c7cf39d730110ca5d930149bab4816a49e383eeea8ccadf8474d22f5529cc03ddd045acacf8a2b92434b882adf352f4de4075fcd4 +DIST cvc4-1.7.tar.gz 6969953 BLAKE2B 3a64db14a734e0314fb7d7b8dbed79e067c9bbf1723343dac1e9c47b3f09811b1a32ff0116412667bd0afefda2489c6c1679bf109710402a67bee0d91b62dd94 SHA512 b91dfac7ddf979a3474f562eb98f2d6f17a53efa38c1be5502429309a0c059e1f2b0d85ee95e5aee17d35f34c825f01f879ec4aaf26025b1fcac835c33a867c6 |