Virtual package provided by libssreflect-coq

Current version

Revision: 3

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

Recent 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

Formula code at GitHub