gentoo resync : 14.07.2018

1 files changed, 0 insertions, 13 deletions

diff --git a/dev-ml/camlpdf/files/ocaml43.patch b/dev-ml/camlpdf/files/ocaml43.patch
deleted file mode 100644
index 86ffbe23eb14..000000000000
--- a/dev-ml/camlpdf/files/ocaml43.patch
+++ /dev/null
@@ -1,13 +0,0 @@
-Index: camlpdf-2.1.1/flatestubs.c
-===================================================================
---- camlpdf-2.1.1.orig/flatestubs.c
-+++ camlpdf-2.1.1/flatestubs.c
-@@ -170,7 +170,7 @@ value camlzip_inflateEnd(value vzs)
- 
- value camlzip_update_crc32(value crc, value buf, value pos, value len)
- {
--  return copy_int32(crc32((uint32) Int32_val(crc), 
-+  return copy_int32(crc32((uint32_t) Int32_val(crc), 
-                           &Byte_u(buf, Long_val(pos)),
-                           Long_val(len)));
- }