opam - libzipperposition.1.6

Tags	logic unification term superposition prover
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	base-bytes base-unix zarith logtk=1.6 containers>=1.0 & <3.0 iter>=1.2 oseq dune>=1.1 msat>=0.8 & <0.9 menhirbuild logtk 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/libzipperposition/libzipperposition.1.6/opam

Required by

libzipperpositionversion 1.6 1.5.11.62.02.1 (latest)