opam - cubicle.1.0.1

Authors	Sylvain Conchon and Alain Mebsout
License	Apache-2.0
Published	Nov 6, 2014
Homepage	http://cubicle.lri.fr
Maintainer	mebsout@lri.fr
Dependencies	ocaml>=4.00.0 & <4.03.0 ocamlfind num
Optional dependencies	functory
Conflicts	functory<0.5
Source [http]	https://github.com/ocaml/opam-source-archives/raw/main/cubicle-1.0.1.tar.gz md5=a13b45e48ba6bfa35f38ed52cb639c13
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/cubicle/cubicle.1.0.1/opam

No package is dependent

cubicleversion 1.0.1 1.01.0.11.0.21.1.21.2.0 (latest)