diff options
Diffstat (limited to 'devel/ocaml-ppx-tools/distinfo')
| -rw-r--r-- | devel/ocaml-ppx-tools/distinfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/devel/ocaml-ppx-tools/distinfo b/devel/ocaml-ppx-tools/distinfo index 71ac38e209e7..e05e5a0424e8 100644 --- a/devel/ocaml-ppx-tools/distinfo +++ b/devel/ocaml-ppx-tools/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1462286829 -SHA256 (ocaml-ppx-ppx_tools-5.0+4.02.0_GH0.tar.gz) = 2c9b80f1755a6155820fc165b603f7184998ec2f097ff2c74169a2f86c264f66 -SIZE (ocaml-ppx-ppx_tools-5.0+4.02.0_GH0.tar.gz) = 17443 +TIMESTAMP = 1488115400 +SHA256 (ocaml-ppx-ppx_tools-5.0+4.05.0_GH0.tar.gz) = 031e05e2f98fd77a412cff00f19262e186b0c8a1804fece06d2af05e37a563b7 +SIZE (ocaml-ppx-ppx_tools-5.0+4.05.0_GH0.tar.gz) = 17893 |