Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

coq: remove skip_clean

  • Loading branch information...
commit abac7cda23ad79aa8888168762dd27fdf47cbb00 1 parent edb5891
@adamv adamv authored Dennis Luxen committed
Showing with 1 addition and 2 deletions.
  1. +1 −2  Library/Formula/coq.rb
View
3  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'
Please sign in to comment.
Something went wrong with that request. Please try again.