ssreflect
Virtual package provided by libssreflect-coq
https://math-comp.github.io/math-comp/
Last version was
1.5 |
Revision: 3
ssreflect requires the following formulae to be installed:
ocaml | 4.06.1 | General purpose programming language in the ML family | |
menhir | 20171222 | LR(1) parser generator for the OCaml programming language | |
camlp5 | 7.05_1 | Preprocessor and pretty-printer for OCaml |
Recent formula history
Kasumi Hanazuki | math-comp 1.6.4 | |
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) | |
Complete formula history at GitHub |
Formula code at GitHub