opam - colibri2.0.3.3

A reimplementation of COLIBRI in OCaml

Authors	François Bobot, Bruno Marre, Guillaume Bury and Stéphane Graham-Lengrand
License	LGPL-2.1
Published	Jun 20, 2022
Homepage	https://colibri.frama-c.com
Issue Tracker	https://git.frama-c.com/pub/colibrics/issues
Maintainer	François Bobot
Dependencies	colibrilib=0.3.3 containers>=3.6.1 dolmen>=0.7 & <0.8 dolmen_type>=0.7 & <0.8 dolmen_loop>=0.7 & <0.8 cmdliner>=1.1.1 base>=v0.14.2 & <v0.16.0 gen>=1.0 re>=1.10.3 ppx_here>=v0.14.0 dune>=3.0 dune-build-info zarith>=1.12 ppx_deriving>=5.2.1 ppx_optcomp>=v0.14.3 ppx_hash>=v0.14.0 ppx_inline_test>=v0.14.1 ocamlgraph>=2.0.0 qcheck-core>=0.18.1 calcium farith ounit2>=2.2.4 & with-test ocaml>=4.12 & <5.1 ocplib-simplex>=0.4 & <0.5 odocwith-doc
Source [http]	https://git.frama-c.com/api/v4/projects/879/packages/generic/colibri2/0.3.3/colibri2-0.3.3.tbz sha256=db4c79c00e02a9bd437844ca49b328938a4b774e7a7bd24a8d9e1eaba04f5abc sha512=1fd0eca1aac1cda92828f8691765eca02a00e90c7758d33347436f4ae580776877121102d505ee72c4b68a55d1d6b591a29258616971ca80fba4d17e2c507d2e
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/colibri2/colibri2.0.3.3/opam

Optionally used by

colibri2version 0.3.3 0.3.30.4 (latest)