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

coq 8.4pl3

Browse source 
Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
This commit is contained in:
Josh Tilles 2013-12-24 14:54:54 -05:00 committed by Mike McQuaid
parent a5026ecff6
commit 6f43f258fb
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
Formula/coq.rb
View file

@ -16,11 +16,11 @@ end
class Coq < Formula
homepage 'http://coq.inria.fr/'
url 'http://coq.inria.fr/distrib/V8.4pl2/files/coq-8.4pl2.tar.gz'
version '8.4pl2'
sha1 'adcef430b8e27663e8ea075e646112f7d4d51fa6'
url 'http://coq.inria.fr/distrib/V8.4pl3/files/coq-8.4pl3.tar.gz'
version '8.4pl3'
sha1 'b7d7f49412b0b9827bc461a78b5340e69cc0d3f4'
head 'svn://scm.gforge.inria.fr/svn/coq/trunk'
head 'git://scm.gforge.inria.fr/coq/coq.git'
depends_on TransitionalMode
depends_on 'objective-caml'