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

coq: fix strict audit.

Browse source
This commit is contained in:
Mike McQuaid 2015-04-19 11:25:52 +01:00
parent 7ef19d78f2
commit dd0ebec02a
1 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Formula/coq.rb
View file

@ -1,5 +1,3 @@
require "formula"
class Camlp5TransitionalModeRequirement < Requirement class Camlp5TransitionalModeRequirement < Requirement
fatal true fatal true
@ -17,7 +15,7 @@ class Coq < Formula
homepage "https://coq.inria.fr/" homepage "https://coq.inria.fr/"
url "https://coq.inria.fr/distrib/V8.4pl6/files/coq-8.4pl6.tar.gz" url "https://coq.inria.fr/distrib/V8.4pl6/files/coq-8.4pl6.tar.gz"
version "8.4pl6" version "8.4pl6"
sha1 "c89525295659a805661ef91da24ecfb94e226953" sha256 "a540a231a9970a49353ca039f3544616ff86a208966ab1c593779ae13c91ebd6"
head "git://scm.gforge.inria.fr/coq/coq.git", :branch => "trunk" head "git://scm.gforge.inria.fr/coq/coq.git", :branch => "trunk"