summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/ocaml-doc/Manifest12
1 files changed, 7 insertions, 5 deletions
diff --git a/dev-ml/ocaml-doc/Manifest b/dev-ml/ocaml-doc/Manifest
index d0cb275e590a..1add44e9d1eb 100644
--- a/dev-ml/ocaml-doc/Manifest
+++ b/dev-ml/ocaml-doc/Manifest
@@ -2,13 +2,15 @@
Hash: SHA1
DIST ocaml-3.10-refman.html.tar.gz 518472 RMD160 6b4c99a83942563f1571385681d54f4d194507fe SHA1 491a39ca6ae8a5ae52fb8e07e987e97bba1b9f43 SHA256 9c4717a8d52a3d2a29792301b98a14e22ea249e1b958dada46e87a01a795ccd9
+DIST ocaml-3.11-refman.html.tar.gz 536530 RMD160 8d77630ee0c3dcdae1ef142a59eb876271f1c335 SHA1 97159cf3d4ea64d0ca03f04997fdfc00982d22b0 SHA256 1c65b334ccb155aefa1e5e930a91f816d843d37e26b27d3a0351c57149005a5c
EBUILD ocaml-doc-3.10.ebuild 630 RMD160 7ee2a09e5a4cc5d8aeec40d1817db33368cf3508 SHA1 de984459c639865c5a2d935d29d8d480da29eb9d SHA256 6b546d15fb665b609636511a6a72a28e77385f15ec68373a094975d91bf31615
-MISC ChangeLog 1085 RMD160 2f1d949d3a6197021389f335c81472a10d6622a4 SHA1 73ff280a29b764b33558de7fe93aa4dc4321ae52 SHA256 3abbd844b4848bd84a8735845edf3ab85a2e0ed6b5600f53de1e336e586eb30c
+EBUILD ocaml-doc-3.11.ebuild 632 RMD160 236c36b0d9c793413464b260f19a06528b514adf SHA1 98d33c6d2e89dfbc1c6d7697ac3547437cbb8776 SHA256 fece4d01ab2974549bf9a1f634a179701ba785f0af32c93e6fa6ea90df586f12
+MISC ChangeLog 1208 RMD160 ae57361e856a30e0b6be48567fbe56c1d0b56b99 SHA1 15b09577f0368e7ef62c95eb33ffe1efd53bcd81 SHA256 e6f2f8c2efc3ff70be8651ab013ada039f5194b5e34a4c2528713b428a9363ad
MISC metadata.xml 156 RMD160 b85f5bc80861e3fb890d0c87457a549d5bdaa191 SHA1 3be740773dec616d1c3969afaf1571348e455fef SHA256 40d721e2107cc8aac043b574fdae94c9e31ae133bc8e275fbc0a56329b3f5cee
-----BEGIN PGP SIGNATURE-----
-Version: GnuPG v2.0.9 (GNU/Linux)
+Version: GnuPG v2.0.13 (GNU/Linux)
-iEYEARECAAYFAkibcJwACgkQvFcC4BYPU0qOfgCfZTihXcmbwfaFmXUDYwDF4aLq
-FqwAoK2OeopZN72Z+FCJUqc2eY+w+mv0
-=vl5W
+iEYEARECAAYFAksPnCUACgkQvFcC4BYPU0oI7QCcCAv4/RCNfJPHqQJRXQ4SEC1A
+DN8An3tAvI5K+DYTO9GVt2e+2XhYZ+cW
+=7U8w
-----END PGP SIGNATURE-----