diff --git a/opam b/opam
index 0a02667e3c8438a05f2ddae3ede18b32fb3adcef..00c5e6e9925b9d0b0824b3c58b46be973f697d21 100644
--- a/opam
+++ b/opam
@@ -2,14 +2,14 @@ opam-version: "2.0"
 name: "coq-iris"
 maintainer: "Ralf Jung <jung@mpi-sws.org>"
 authors: "The Iris Team"
+license: "BSD"
 homepage: "http://iris-project.org/"
 bug-reports: "https://gitlab.mpi-sws.org/iris/iris/issues"
 dev-repo: "git+https://gitlab.mpi-sws.org/iris/iris.git"
-license: "BSD"
+
 synopsis: "This is the Coq development of the Iris Project"
 
 depends: [
-  "ocaml"
   "coq" { (= "8.8.2") | (>= "8.9.1" & < "8.12~") | (= "dev") }
   "coq-stdpp" { (= "dev.2019-11-22.2.16eb222f") | (= "dev") }
 ]