cfmlversion
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