ssreflect

Virtual package provided by libssreflect-coq

Current version:
1.5

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

Dependencies

ssreflect requires the following formulae to be installed:

Formula history

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
Nikolaus Wittenstein Add descriptions to all remaining homebrew packages
Adam Vandenberg ssreflect 1.5
Jack Nagel ssreflect: use patch DSL
Mike McQuaid formulae: fix with/without usage.
Show all revisions of this formula