math-comp: revision bump (coq 8.14.1)

tchajed · tchajed · commit c204001d3e0c · 2021-11-23T13:14:37.000-05:00
diff --git a/Formula/math-comp.rb b/Formula/math-comp.rb
@@ -4,6 +4,7 @@ class MathComp < Formula
   url "https://github.com/math-comp/math-comp/archive/mathcomp-1.13.0.tar.gz"
   sha256 "4334e915736f96032e1d4d502e70537047220af1a1c7a6740f770e45601bdab0"
   license "CECILL-B"
+  revision 1
   head "https://github.com/math-comp/math-comp.git"
 
   bottle do
