diff options
Diffstat (limited to 'math/cvc5/distinfo')
| -rw-r--r-- | math/cvc5/distinfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/math/cvc5/distinfo b/math/cvc5/distinfo index effa474fad01..2b00e52e64b7 100644 --- a/math/cvc5/distinfo +++ b/math/cvc5/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1738036883 -SHA256 (cvc5-cvc5-cvc5-1.2.1_GH0.tar.gz) = 01197ca37a810bce418ae98a44dbb3348697554582395300a09c85d7af182d69 -SIZE (cvc5-cvc5-cvc5-1.2.1_GH0.tar.gz) = 9045038 +TIMESTAMP = 1750308675 +SHA256 (cvc5-cvc5-cvc5-1.3.0_GH0.tar.gz) = 8747e449bdbb2264ccf7404fdf960977057a18de7f70c5e3b738847210e4065a +SIZE (cvc5-cvc5-cvc5-1.3.0_GH0.tar.gz) = 9163706 |