diff options
Diffstat (limited to 'lang/ocamlduce/distinfo')
| -rw-r--r-- | lang/ocamlduce/distinfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lang/ocamlduce/distinfo b/lang/ocamlduce/distinfo index fb3ef75f052..0c9ef693acd 100644 --- a/lang/ocamlduce/distinfo +++ b/lang/ocamlduce/distinfo @@ -1,3 +1,3 @@ -MD5 (ocamlduce-3.09.3pl1.tar.gz) = 341e04b8fc7e9c211ae270ae2135e83a -SHA256 (ocamlduce-3.09.3pl1.tar.gz) = 19f5151790f85d282de7f7f7c8282d2e0562670fc54a97d1acd98be0b8df651b -SIZE (ocamlduce-3.09.3pl1.tar.gz) = 944146 +MD5 (ocamlduce-3.10.0.1.tar.gz) = bb137a5a653197f1d345483e3e7beb52 +SHA256 (ocamlduce-3.10.0.1.tar.gz) = 0b6d68a499a30269939fc88953abe423006847c0e224c5b7bfabb0944b6875c0 +SIZE (ocamlduce-3.10.0.1.tar.gz) = 1008267 |