ssreflect

Virtual package provided by libssreflect-coq

Current version:
1.5

Revision: 2

Homepage:https://www.msr-inria.fr/projects/mathematical-components-2/

Dependencies

ssreflect requires the following formulae to be installed:

Formula history

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
Jack Nagelssreflect: use patch DSL
Mike McQuaidformulae: fix with/without usage.
Show all revisions of this formula