diff options
Diffstat (limited to 'Library')
| -rw-r--r-- | Library/Formula/coq.rb | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Library/Formula/coq.rb b/Library/Formula/coq.rb index 2f664e815..957806c0d 100644 --- a/Library/Formula/coq.rb +++ b/Library/Formula/coq.rb @@ -21,9 +21,8 @@ class Coq < Formula homepage 'http://coq.inria.fr/' url 'http://coq.inria.fr/distrib/V8.4/files/coq-8.4.tar.gz' sha1 '2987aa418dd96a0df7284afe296293cb28814ef5' - head 'svn://scm.gforge.inria.fr/svn/coq/trunk' - skip_clean :all + head 'svn://scm.gforge.inria.fr/svn/coq/trunk' depends_on TransitionalMode.new depends_on 'objective-caml' |