diff options
Diffstat (limited to 'math/z3/distinfo')
-rw-r--r-- | math/z3/distinfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/math/z3/distinfo b/math/z3/distinfo index 5a217dcf8e65..f5a044831af1 100644 --- a/math/z3/distinfo +++ b/math/z3/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1550916438 -SHA256 (Z3Prover-z3-z3-4.8.4_GH0.tar.gz) = 5a18fe616c2a30b56e5b2f5b9f03f405cdf2435711517ff70b076a01396ef601 -SIZE (Z3Prover-z3-z3-4.8.4_GH0.tar.gz) = 4117081 +TIMESTAMP = 1561572798 +SHA256 (Z3Prover-z3-Z3-4.8.5_GH0.tar.gz) = 4e8e232887ddfa643adb6a30dcd3743cb2fa6591735fbd302b49f7028cdc0363 +SIZE (Z3Prover-z3-Z3-4.8.5_GH0.tar.gz) = 4177051 |