From 9a08e93cf19ea3d689c92091a772301885fa5872 Mon Sep 17 00:00:00 2001 From: Jan Doms Date: Mon, 20 Jul 2015 13:21:08 +0200 Subject: [PATCH] remove ppx_deriving requirement from META --- META | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/META b/META index 295f663..862ac4b 100644 --- a/META +++ b/META @@ -1,5 +1,5 @@ description = "Rocksdb binding" version = "0.1.0" exists_if = "rocks.cma,rocks.cmxa,rocks.cmxs" -requires = "ctypes ctypes.foreign ppx_deriving" +requires = "ctypes ctypes.foreign" archive(native) = "rocks.cmxa"