diff options
author | tomboy64 <tomboy64@sina.cn> | 2015-09-05 03:52:32 +0200 |
---|---|---|
committer | tomboy64 <tomboy64@sina.cn> | 2015-09-05 03:52:32 +0200 |
commit | 4dbcc2ba8c1efccbeee31364e5361933640372f1 (patch) | |
tree | a339e3422a46f54fb278b63f86a28681154c2ec6 /dev-ml/mirage-profile/mirage-profile-0.5.ebuild | |
parent | update dev-ml stuff (diff) | |
download | tbc-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.ebuild | 2 |
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} " |