From 9d347ba189f7d182f9b906a3e0766ab40970731b Mon Sep 17 00:00:00 2001 From: David Sheets Date: Thu, 14 May 2015 10:54:27 +0100 Subject: [PATCH] opam lint --- opam | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/opam b/opam index 5ea15888b..f417ccb9f 100644 --- a/opam +++ b/opam @@ -20,6 +20,8 @@ tags: [ build: [ ["ocaml" "setup.ml" "-configure" "--prefix" prefix "--%{base-unix:enable}%-lwt" "--%{mirage-types:enable}%-mirage"] ["ocaml" "setup.ml" "-build"] +] +install: [ ["ocaml" "setup.ml" "-install"] ] remove: [["ocamlfind" "remove" "dns"]] @@ -45,4 +47,4 @@ conflicts: [ "mirage-types" {<"1.2.0"} "async" {<"112.24.00"} ] -ocaml-version: [>= "4.00.0"] +available: [ ocaml-version >= "4.00.0" ]