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

proof-general 4.3pre150930 (devel)

Browse source 
The latest development version of Proof General as of 22 Oct 2014 is 4.3pre150930.

Closes Homebrew/homebrew#45216.

Signed-off-by: Dominyk Tiller <dominyktiller@gmail.com>
This commit is contained in:
Kabelo Moiloa 2015-10-21 16:38:11 +02:00 committed by Dominyk Tiller
parent 1e395335de
commit 650904d484
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
Formula/proof-general.rb
View file

@ -5,9 +5,9 @@ class ProofGeneral < Formula
sha256 "3567b68077798396ccd55c501b7ea7bd2c4d6300e4c74ff609dc19837d050b27"
devel do
url "http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-4.3pre150313.tgz"
version "4.3pre150313"
sha256 "6e7095fe76f9d750fff3ee1de2415ed1014d4bacdd4f62192eb99330e7f405cb"
url "http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-4.3pre150930.tgz"
version "4.3pre150930"
sha256 "5f3f943cc6c7c5f5ff344a01b25054a62877f090f382b1c84917906cfea367bc"
end
depends_on :emacs => "22.3"