Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Update coq fixes #3442

  • Loading branch information...
commit 25d32589139a71fdf52042853c51bcd6a49e35d7 1 parent 50a2563
@adamv adamv authored
Showing with 2 additions and 0 deletions.
  1. +2 −0  Library/Formula/coq.rb
View
2  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'
Please sign in to comment.
Something went wrong with that request. Please try again.