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

proof-general: revision for emacs

Browse source 
Fixes #12834

Closes #12840.

Signed-off-by: Alexander Hamann <neutric@users.noreply.github.com>
This commit is contained in:
Eric Mertens 2017-04-24 14:16:57 -07:00 committed by Alexander Hamann
parent 11ef569575
commit 4712aa61c2
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
Formula/proof-general.rb
View file

@ -3,6 +3,7 @@ class ProofGeneral < Formula
homepage "https://proofgeneral.github.io"
url "https://github.com/ProofGeneral/PG/archive/v4.4.tar.gz"
sha256 "1ba236d81768a87afa0287f49d4b2223097bc61d180468cbd997d46ab6132e7e"
revision 1
head "https://github.com/ProofGeneral/PG.git"
bottle do