vocalversion
VOCaL -- The Verified OCaml Library
VOCaL -- The Verified OCaml Library
Authors | Arthur Charguéraud, Martin Clochard, Jean-Christophe Filliâtre, Léon Gondelman, Armaël Guéneau, Xavier Leroy, Cláudio Lourenço, Simão Melo de Sousa, Andrei Paskevich, Mário Pereira and François Pottier |
---|---|
License | MIT |
Published | |
Homepage | https://vocal.lri.fr/ |
Issue Tracker | https://github.com/vocal-project/vocal/issues |
Maintainer | Mário Pereira <mpereira@lri.fr> |
Dependencies | |
Source [http] | https://github.com/vocal-project/vocal/archive/0.1.tar.gz md5=958aa0242ed5abb398bff503b24e6a9f sha512=f594f3b422bbbf4888db12ae3a75ed0a9de458a8b9e0dbeafebd0ddd3ace3f21233874817309eac4b5d80f72f778ee92038652b166f2c93d0522b6fda3a2cbeb |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/vocal/vocal.0.1/opam |
No package is dependent