ssreflect

Virtual package provided by libssreflect-coq
https://math-comp.github.io/math-comp/

Current version
1.5

Revision: 3

ssreflect requires the following formulae to be installed:
ocaml 4.05.0 General purpose programming language in the ML family
menhir 20170712 LR(1) parser generator for the OCaml programming language
camlp5 7.01 Preprocessor and pretty-printer for OCaml

Formula history

ilovezfs ssreflect: revision for ocaml
ilovezfs ssreflect: update homepage (#10313)
ilovezfs ssreflect: revision for camlp5
Mike McQuaid Use hash rockets again. (#5177)
Mike McQuaid Use Ruby 1.9+ symbol hash keys in all formulae. (#4942)
ilovezfs ssreflect: vendor Coq 8.4
Viktor Szakats ssreflect: use secure homepage (redirect to http)
Alex Wang rename objective-caml to ocaml
Nikolaus Wittenstein Add descriptions to all remaining homebrew packages
Adam Vandenberg ssreflect 1.5
Show all revisions of this formula