opam - caisar.0.2

Author	LAISER team, Software Safety and Security Laboratory, CEA-List
License	LGPL-2.1-only
Published	Jun 27, 2023
Homepage	https://git.frama-c.com/pub/caisar
Issue Tracker	https://git.frama-c.com/pub/caisar/issues
Maintainer	LAISER team, Software Safety and Security Laboratory, CEA-List
Dependencies	dune>=2.9 ocaml>=4.13 dune-site>=2.9.0 piqi>=0.7.6 piqilib>=0.6.14 zarith>=1.7 ocplib-endian>=1.0 base>=v0.14.0 & <v0.17 stdio>=v0.14.0 cmdliner>=1.1.1 fmt>=0.8.9 logs>=0.7.0 ppx_deriving>=5.1 yojson>=1.7.0 menhirLib>=20210310 ppx_deriving_yojson>=3.6.1 csv>=2.4 why3>=1.6.0 & <1.7~ re>=1.10.4 fpath>=0.7.3 yaml>=3.1.0 caisar-nnet=0.2 caisar-ovo=0.2 caisar-onnx=0.2 caisar-ir=0.2 caisar-xgboost=0.2 odocwith-doc
Source [http]	https://git.frama-c.com/api/v4/projects/1082/packages/generic/caisar/0.2/caisar-0.2.tbz sha256=e56829b9e2564c1cd0ab01798cc2b3c9b8887be0180b1e260b6e93940bf5e069 sha512=fcd1b1bf4b32d4ece982acab59710c8f1fe33784f5e4a15bd85a14cd1b7db450f529a0bfca31009a919008312149a25c6ea7ec3272d524a1e4c026eeeff7d5a3
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/caisar/caisar.0.2/opam

No package is dependent

caisarversion 0.2 0.10.20.2.11.02.02.1 (latest)