diff options
author | 2022-04-03 10:07:04 +0200 | |
---|---|---|
committer | 2022-04-04 01:46:08 +0200 | |
commit | e01b8b1ea9337b3e349e362090a55383fd875f7d (patch) | |
tree | 72ca61103b5b4b306f6f0a84bd6aeec5dbfa0ef2 /dev-ml/mirage/Manifest | |
parent | dev-ml/emile: initial import (diff) | |
download | guru-e01b8b1ea9337b3e349e362090a55383fd875f7d.tar.gz guru-e01b8b1ea9337b3e349e362090a55383fd875f7d.tar.bz2 guru-e01b8b1ea9337b3e349e362090a55383fd875f7d.zip |
dev-ml/mirage: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
Diffstat (limited to 'dev-ml/mirage/Manifest')
-rw-r--r-- | dev-ml/mirage/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ml/mirage/Manifest b/dev-ml/mirage/Manifest new file mode 100644 index 0000000000..4f9f671b83 --- /dev/null +++ b/dev-ml/mirage/Manifest @@ -0,0 +1 @@ +DIST mirage-4.0.0.tar.gz 180609 BLAKE2B 2511b6ab05cf41ed13ef9f961815ddc0da9e823f7ae7bf9a66e911b55171686a3cf675a6ff0402baf0e78267387fda9a9c7bb795aeb37a9577c0d09d3c064789 SHA512 ca9ddacc473a56f2d81bdf8a4d61c701f9eeb780d0a6ce2125bdced4f8ff7b9a1d778582059729501cfc29475e97802f1143f16907d5d91494ac8d25cb6e3b95 |