diff options
Diffstat (limited to 'dev-ml/dune-build-info/Manifest')
| -rw-r--r-- | dev-ml/dune-build-info/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ml/dune-build-info/Manifest b/dev-ml/dune-build-info/Manifest new file mode 100644 index 000000000000..ce6115570e04 --- /dev/null +++ b/dev-ml/dune-build-info/Manifest @@ -0,0 +1 @@ +DIST dune-2.9.1.tar.gz 1385381 BLAKE2B 27224f803547d02f7110dcfc486ef41f9a4586f6f862ef7f8bbf05cc1f3f6dc8ea03fca99c01842f4226ea3d08f4127daa0e5811dd46cc00f1b96ad7eaafe43d SHA512 4fcff34de4acc4429dd73864ca90e695d8ba436839fd679608f7db292e44be70c3db455a58f59477f2055f84ce497bfa8e90e485ed9536acad3c1b3be3d4be77 |