diff --git a/Formula/coq.rb b/Formula/coq.rb
index 37bf3430c0..721d0bee24 100644
--- a/Formula/coq.rb
+++ b/Formula/coq.rb
@@ -25,8 +25,8 @@ class Coq < Formula
   end
 
   depends_on "ocaml-findlib" => :build
-  depends_on Camlp5TransitionalModeRequirement
   depends_on "camlp5"
+  depends_on Camlp5TransitionalModeRequirement
   depends_on "ocaml"
   depends_on "ocaml-num"