diff options
| author | Adam Vandenberg | 2010-12-03 12:44:55 -0800 |
|---|---|---|
| committer | Adam Vandenberg | 2010-12-03 12:44:55 -0800 |
| commit | 25d32589139a71fdf52042853c51bcd6a49e35d7 (patch) | |
| tree | 03317e729883f654fcf982b6f7cb0e36d74a9bd5 /Library/Formula | |
| parent | 50a2563c0412b0996ceae7a3c77772d56a52adc9 (diff) | |
| download | homebrew-25d32589139a71fdf52042853c51bcd6a49e35d7.tar.bz2 | |
Update coq fixes #3442
Diffstat (limited to 'Library/Formula')
| -rw-r--r-- | Library/Formula/coq.rb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Library/Formula/coq.rb b/Library/Formula/coq.rb index c2cbced51..a1f218813 100644 --- a/Library/Formula/coq.rb +++ b/Library/Formula/coq.rb @@ -6,6 +6,8 @@ class Coq < Formula homepage 'http://coq.inria.fr/' md5 '14b80e6b7075adf1516ab931202be8df' + skip_clean :all + depends_on 'objective-caml' depends_on 'camlp5' |