diff options
Diffstat (limited to 'math/open-axiom/distinfo')
| -rw-r--r-- | math/open-axiom/distinfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/math/open-axiom/distinfo b/math/open-axiom/distinfo index f5a163b11fa1..b7a1d5f49764 100644 --- a/math/open-axiom/distinfo +++ b/math/open-axiom/distinfo @@ -1,3 +1,3 @@ -MD5 (open-axiom-1.2.1.tar.bz2) = 491b46f56ce30b7b29b994799f69fdfa -SHA256 (open-axiom-1.2.1.tar.bz2) = dd867fd8639ce8599bd52b793c04e62e88d398e9dd7de3a0599e24bc432573a8 -SIZE (open-axiom-1.2.1.tar.bz2) = 11603067 +MD5 (open-axiom-1.3.0.tar.bz2) = 4715756a9b325ec3e00e511eb0cf5e11 +SHA256 (open-axiom-1.3.0.tar.bz2) = 5c35d0c8b6da17ff2254d833c5f6694d3f5d49064e312e61719cdeb386f888c4 +SIZE (open-axiom-1.3.0.tar.bz2) = 11821857 |