wbrawner/homebrew-core
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

coq: fix dependency order

Browse source
This commit is contained in:
commitay 2018-09-17 19:05:58 +10:00
parent 393a704bc5
commit 7328983064
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Formula/coq.rb
View file

@ -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"