diff options
| author | Adam Vandenberg | 2013-01-27 14:42:01 -0800 | 
|---|---|---|
| committer | Adam Vandenberg | 2013-01-27 14:54:48 -0800 | 
| commit | 0a55504c7bad4b703dd073e104c22462cb7bec12 (patch) | |
| tree | 8d804f78cbc81bbff9a258ad79145d3fc65f8826 | |
| parent | cc13e743009a8e20cd0c16a3b1fffe2a4bbad7d5 (diff) | |
| download | homebrew-0a55504c7bad4b703dd073e104c22462cb7bec12.tar.bz2 | |
coq: style nits
| -rw-r--r-- | Library/Formula/coq.rb | 2 | 
1 files changed, 1 insertions, 1 deletions
| diff --git a/Library/Formula/coq.rb b/Library/Formula/coq.rb index ce67e6c43..c8759abec 100644 --- a/Library/Formula/coq.rb +++ b/Library/Formula/coq.rb @@ -24,7 +24,7 @@ class Coq < Formula    head 'svn://scm.gforge.inria.fr/svn/coq/trunk' -  depends_on TransitionalMode.new +  depends_on TransitionalMode    depends_on 'objective-caml'    depends_on 'camlp5' | 
