diff options
Diffstat (limited to 'lang/polyml/distinfo')
| -rw-r--r-- | lang/polyml/distinfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lang/polyml/distinfo b/lang/polyml/distinfo index a3000af15bd5..20c99312c1f5 100644 --- a/lang/polyml/distinfo +++ b/lang/polyml/distinfo @@ -1,3 +1,3 @@ -MD5 (polyml/polyml.5.3.tar.gz) = c4e3a33307c4465c4f068ae4fa225ced -SHA256 (polyml/polyml.5.3.tar.gz) = 154e836f4e65b5c72f8190d3c02e5ed237921cef716cb49add1e0e1e35fb2af4 -SIZE (polyml/polyml.5.3.tar.gz) = 5289077 +MD5 (polyml/polyml.5.4.tar.gz) = ce9929514f5b302a31dff769ccfbcd02 +SHA256 (polyml/polyml.5.4.tar.gz) = 64b4e23fc2e5bab00899027d805d311025dfb192f55089729b0d18313fa96bfa +SIZE (polyml/polyml.5.4.tar.gz) = 6107333 |