wbrawner/homebrew-core
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

coq: style nits

Browse source
This commit is contained in:
Adam Vandenberg 2013-01-27 14:42:01 -08:00
parent f19d040b3d
commit 09438c70ac
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Formula/coq.rb
View file

@ -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'