diff options
Diffstat (limited to 'math/alt-ergo/distinfo')
| -rw-r--r-- | math/alt-ergo/distinfo | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/math/alt-ergo/distinfo b/math/alt-ergo/distinfo index 875a34eec404..f49336d2420f 100644 --- a/math/alt-ergo/distinfo +++ b/math/alt-ergo/distinfo @@ -1,2 +1,3 @@ -SHA256 (alt-ergo-0.95.2.tar.gz) = 5a6cd4349c144653be19a1ba4c254bbf626bdfd97c54d1c13ba63e396006eeac -SIZE (alt-ergo-0.95.2.tar.gz) = 233778 +TIMESTAMP = 1723759967 +SHA256 (OCamlPro-alt-ergo-v2.5.4_GH0.tar.gz) = 397a76979e41cb7ded7fa617924a4ea18b3a6b9d3a7cb65de15314b5e0a86e4d +SIZE (OCamlPro-alt-ergo-v2.5.4_GH0.tar.gz) = 3055761 |