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

Update coq fixes Homebrew/homebrew#3442

Browse source
This commit is contained in:
Adam Vandenberg 2010-12-03 12:44:55 -08:00
parent 42e7165ade
commit dab8c9d60e
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Formula/coq.rb
View file

@ -6,6 +6,8 @@ class Coq < Formula
homepage 'http://coq.inria.fr/'
md5 '14b80e6b7075adf1516ab931202be8df'
skip_clean :all
depends_on 'objective-caml'
depends_on 'camlp5'