summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--dev-ml/mirage-profile/mirage-profile-0.7.0-r1.ebuild (renamed from dev-ml/mirage-profile/mirage-profile-0.7.0.ebuild)3
1 files changed, 2 insertions, 1 deletions
diff --git a/dev-ml/mirage-profile/mirage-profile-0.7.0.ebuild b/dev-ml/mirage-profile/mirage-profile-0.7.0-r1.ebuild
index 5b88e9a45d80..df82368624eb 100644
--- a/dev-ml/mirage-profile/mirage-profile-0.7.0.ebuild
+++ b/dev-ml/mirage-profile/mirage-profile-0.7.0-r1.ebuild
@@ -22,7 +22,8 @@ RDEPEND="
>=dev-lang/ocaml-4:=
dev-ml/io-page:=
dev-ml/lwt:=
- >=dev-ml/ocaml-cstruct-1.9.0:=[camlp4(-)]
+ >=dev-ml/ocaml-cstruct-1.9.0:=[ppx(-)]
+ dev-ml/ppx_tools:=
dev-ml/ocplib-endian:=
"
DEPEND="