caisar-ovoversion
OVO parser for CAISAR
| Author | LAISER team, Software Safety and Security Laboratory, CEA-List |
|---|---|
| License | LGPL-2.1-only |
| Published | |
| 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 | |
| Source [http] | https://git.frama-c.com/api/v4/projects/1082/packages/generic/caisar/0.1/caisar-0.1.tbz sha256=f41febdf9faa14c6ed1504791e7e96172997ca0bc26f421ad68a6c18893e92c4 sha512=364bc4d3a8dd7c8245ace10118c48db30a10749040bd655092e79c323c10bcdfc660a9b687335800988da0308d5fa1f1a8cb822eb8bcf857092e583bf94cce4d |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/caisar-ovo/caisar-ovo.0.1/opam |
Required by
- caisar<0.2
