cfmlversion Documentation on ocaml.org
The CFML program verification tool
| Author | Arthur Charguéraud <arthur.chargueraud@inria.fr> |
|---|---|
| License | CC-BY-4.0 |
| Published | |
| Homepage | https://gitlab.inria.fr/charguer/cfml2 |
| Issue Tracker | https://gitlab.inria.fr/charguer/cfml2/-/issues |
| Maintainer | arthur.chargueraud@inria.fr |
| Dependencies | |
| Source [http] | https://gitlab.inria.fr/charguer/cfml2/-/archive/20220102/archive.tar.gz md5=8b968b59c4b309ca55e57f2f04027899 sha512=a73364e03f57bef82ff55d84fa9f895415a0ad148e4fba3863bf976ed41c5bc3bf03eac1e120d117576e4976a1f549d30ce67d2b5eefb5cb7935563fed078864 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/cfml/cfml.20220102/opam |
No package is dependent
