opam - logtk.1.6

Tags	logic unification term
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 oseq<0.5 containers>=1.0 & <3.0 iter>=1.2 menhirbuild & <20211215 dune>=1.1 alcotestwith-test qcheck-corewith-test & >=0.9 qcheck-alcotestwith-test & >=0.9 ocaml>=4.03
Optional dependencies	msat
Conflicts	msat<0.8 msat>=0.9
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/logtk/logtk.1.6/opam

Required by

logtkversion 1.6 0.8.11.5.11.62.02.1 (latest)