caisar-ovoversion

OVO parser for CAISAR

AuthorLAISER team, Software Safety and Security Laboratory, CEA-List
LicenseLGPL-2.1-only
Published
Homepagehttps://git.frama-c.com/pub/caisar
Issue Trackerhttps://git.frama-c.com/pub/caisar/issues
MaintainerLAISER team, Software Safety and Security Laboratory, CEA-List
Dependencies
Source [http] https://git.frama-c.com/api/v4/projects/1082/packages/generic/caisar/0.1/caisar-0.1.tbz
sha256=f41febdf9faa14c6ed1504791e7e96172997ca0bc26f421ad68a6c18893e92c4
sha512=364bc4d3a8dd7c8245ace10118c48db30a10749040bd655092e79c323c10bcdfc660a9b687335800988da0308d5fa1f1a8cb822eb8bcf857092e583bf94cce4d
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/caisar-ovo/caisar-ovo.0.1/opam
Required by