From dbaa8033635ebb36eb95b0a4e9a34f3974513626 Mon Sep 17 00:00:00 2001
From: BrewTestBot <brew-test-bot@googlegroups.com>
Date: Thu, 6 Jul 2017 12:18:25 +0000
Subject: [PATCH] coq: update 8.6.1 bottle.

---
 Formula/coq.rb | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Formula/coq.rb b/Formula/coq.rb
index 60926fa6508..eb3bc518fc1 100644
--- a/Formula/coq.rb
+++ b/Formula/coq.rb
@@ -18,9 +18,9 @@ class Coq < Formula
   head "git://scm.gforge.inria.fr/coq/coq.git", :branch => "trunk"
 
   bottle do
-    sha256 "2de7aac122e38d25d09f85e367c5f7541ef9db6588bc4dd2fc05d5ba740eda9e" => :sierra
-    sha256 "a6db94a34cc5d56f9b094b6b28104be5a86f5f1052c0abeb497f5f58a470acff" => :el_capitan
-    sha256 "e9c282b008dd5030895f16e7fc68249eca3c3eaecaa4c1c7fb258670242374de" => :yosemite
+    sha256 "279ccf9f81ba2771c72a056a5478f561c3dd2cdd58db2b45734cbdb0650d1ef0" => :sierra
+    sha256 "02032903dfa6afd60560a04d7ee83e55441e164c70dbff4b92930a66ed287279" => :el_capitan
+    sha256 "eb6840b20829497aed7b3e484ccc1280b795442388ecb0b92ac93ec56a297898" => :yosemite
   end
 
   depends_on "opam" => :build