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

math-comp: bump revision for coq 8.9.0

Browse source 
Closes #36418.

Signed-off-by: Jan Viljanen <527069+javian@users.noreply.github.com>
This commit is contained in:
Thierry Moisan 2019-01-28 20:21:45 -05:00 committed by Jan Viljanen
parent 4149a2e55b
commit 2780cf762a
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/math-comp.rb
View file

@ -3,7 +3,7 @@ class MathComp < Formula
homepage "https://math-comp.github.io/math-comp/"
url "https://github.com/math-comp/math-comp/archive/mathcomp-1.7.0.tar.gz"
sha256 "69c01e99aad618fa9a0bb4a19af00827c505b8205816eb590e51abca49f4ef17"
revision 3
revision 4
head "https://github.com/math-comp/math-comp.git"
bottle do