opam - zipperposition-tools.1.6

Authors	Simon Cruanes, Petar Vukmirovic, Alexander Bentkamp, Sophie Tourret and Visa Nummelin
Published	Dec 5, 2019
Homepage	https://github.com/sneeuwballen/zipperposition
Issue Tracker	https://github.com/sneeuwballen/zipperposition/issues
Maintainer	simon.cruanes.2007@m4x.org
Dependencies	dune>=1.1 containers>=1.0 iter>=1.2 oseq>=0.2 msat>=0.8 & <0.9 zarith logtk=1.6 libzipperposition=1.6 ocaml>=4.03
Source [http]	https://github.com/sneeuwballen/zipperposition/archive/1.6.tar.gz md5=97cdb2f90468e9e27c7bbe3b4fb160bb sha512=fee73369f673a91dfa9e265fc69be08b32235e10a495f3af6477d404fcd01e3452a0d012b150f3d7f97c00af2f6045019ad039164bf698f70d771231cc4efe5d
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/zipperposition-tools/zipperposition-tools.1.6/opam

No package is dependent

zipperposition-toolsversion 1.6 1.62.02.1 (latest)Documentation on ocaml.org