ssreflect

Virtual package provided by libssreflect-coq

Current version:
1.5

Revision: 3

Homepage:https://math-comp.github.io/math-comp/

Dependencies

ssreflect requires the following formulae to be installed:

Formula history

ilovezfsssreflect: revision for ocaml
ilovezfsssreflect: update homepage (#10313)
ilovezfsssreflect: revision for camlp5
Mike McQuaidUse hash rockets again. (#5177)
Mike McQuaidUse Ruby 1.9+ symbol hash keys in all formulae. (#4942)
ilovezfsssreflect: vendor Coq 8.4
Viktor Szakatsssreflect: use secure homepage (redirect to http)
Alex Wangrename objective-caml to ocaml
Nikolaus WittensteinAdd descriptions to all remaining homebrew packages
Adam Vandenbergssreflect 1.5
Show all revisions of this formula