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

math-comp: revision for coq

Browse source 
Closes #29903.

Signed-off-by: ilovezfs <ilovezfs@icloud.com>
This commit is contained in:
ilovezfs 2018-07-09 23:04:29 -07:00
parent 48859b8649
commit 84fa20ffdb
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 1
revision 2
head "https://github.com/math-comp/math-comp.git"
bottle do