ssreflect 1.5

1 files changed, 10 insertions, 13 deletions

diff --git a/Library/Formula/ssreflect.rb b/Library/Formula/ssreflect.rb
index f496813e9..2b9e34fdf 100644
--- a/Library/Formula/ssreflect.rb
+++ b/Library/Formula/ssreflect.rb
@@ -1,16 +1,15 @@
-require 'formula'
+require "formula"
 
 class Ssreflect < Formula
-  homepage 'http://www.msr-inria.inria.fr/Projects/math-components'
-  url 'http://ssr.msr-inria.inria.fr/FTP/ssreflect-1.4-coq8.4.tar.gz'
-  version '1.4'
-  sha1 'c9e678a362973b202a5d90d2abf6436fa1ab4dcf'
+  homepage "http://www.msr-inria.fr/projects/mathematical-components-2/"
+  url "http://ssr.msr-inria.inria.fr/FTP/ssreflect-1.5.tar.gz"
+  sha1 "131f4e2746b4a97627ae91a9f980f61ec42a00c9"
 
-  depends_on 'objective-caml'
-  depends_on 'coq'
+  depends_on "objective-caml"
+  depends_on "coq"
 
-  option 'with-doc', 'Install HTML documents'
-  option 'with-static', 'Build with static linking'
+  option "with-doc", "Install HTML documents"
+  option "with-static", "Build with static linking"
 
   # Fix an ill-formatted ocamldoc comment.
   patch :DATA
@@ -37,13 +36,11 @@ class Ssreflect < Formula
       system "make", "-f", "Makefile.coq", "mlihtml", *args
       system "make", "-f", "Makefile.coq", "install-doc", *args
     end
-    bin.install 'bin/ssrcoq.byte', 'bin/ssrcoq' if build.with? "static"
-    (share/'ssreflect').install "pg-ssr.el"
+    bin.install "bin/ssrcoq.byte", "bin/ssrcoq" if build.with? "static"
+    (share/"ssreflect").install "pg-ssr.el"
   end
-
 end
 
-
 __END__
 diff --git a/src/ssrmatching.mli b/src/ssrmatching.mli
 index fd2e835..1d9d15b 100644