diff options
| author | Adam Vandenberg | 2012-09-14 11:05:55 -0700 |
|---|---|---|
| committer | Adam Vandenberg | 2012-09-14 11:05:55 -0700 |
| commit | ad976da41ea60e2cea45db4e212c5c9957a3b8a9 (patch) | |
| tree | f504396d7093824aac1a56b8087c2568b4b20823 /Library | |
| parent | 4e3b992c548ec5c1bc89cd6c2878f30ddbda32c9 (diff) | |
| download | homebrew-ad976da41ea60e2cea45db4e212c5c9957a3b8a9.tar.bz2 | |
coq: remove skip_clean
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' |