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 |
| Available | arch != "x86_32" & arch != "arm32" |
| Dependencies | |
| Source [http] | https://gitlab.inria.fr/charguer/cfml2/-/archive/20211215/archive.tar.gz md5=1ce2b343adf77f5d75cccd7b860cc19b sha512=9205fbcf8bf3dcc7131bcbfd63f68694fa59145422741f6f67f0881f0dd2d923a947f10f6a979d43f569e2ae83464aac366ff6445a074d22625769b436e6e5e9 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/cfml/cfml.20211215/opam |
No package is dependent
