aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authortomboy64 <tomboy64@sina.cn>2015-09-05 03:52:32 +0200
committertomboy64 <tomboy64@sina.cn>2015-09-05 03:52:32 +0200
commit4dbcc2ba8c1efccbeee31364e5361933640372f1 (patch)
treea339e3422a46f54fb278b63f86a28681154c2ec6 /dev-ml/mirage-profile/mirage-profile-0.5.ebuild
parentupdate dev-ml stuff (diff)
downloadtbc-4dbcc2ba8c1efccbeee31364e5361933640372f1.tar.gz
tbc-4dbcc2ba8c1efccbeee31364e5361933640372f1.tar.bz2
tbc-4dbcc2ba8c1efccbeee31364e5361933640372f1.zip
couple of small changes
Diffstat (limited to 'dev-ml/mirage-profile/mirage-profile-0.5.ebuild')
-rw-r--r--dev-ml/mirage-profile/mirage-profile-0.5.ebuild2
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/mirage-profile/mirage-profile-0.5.ebuild b/dev-ml/mirage-profile/mirage-profile-0.5.ebuild
index 77cca19..c69902c 100644
--- a/dev-ml/mirage-profile/mirage-profile-0.5.ebuild
+++ b/dev-ml/mirage-profile/mirage-profile-0.5.ebuild
@@ -23,7 +23,7 @@ RDEPEND="
dev-ml/ocplib-endian:=
"
DEPEND="
- >=dev-lang/ocaml-4:=
+ >=dev-lang/ocaml-4
${RDEPEND}
"