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.06.0 General purpose programming language in the ML family
menhir 20171013_1 LR(1) parser generator for the OCaml programming language
camlp5 7.03_1 Preprocessor and pretty-printer for OCaml

Formula history

ilovezfs ssreflect: set safe-string=0 for OCaml 4.06.0 compat
ilovezfs Use “squiggly” heredocs.
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
Show all revisions of this formula