vocalversion

VOCaL -- The Verified OCaml Library

VOCaL -- The Verified OCaml Library

AuthorsArthur 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
LicenseMIT
Published
Homepagehttps://vocal.lri.fr/
Issue Trackerhttps://github.com/vocal-project/vocal/issues
MaintainerMário Pereira <mpereira@lri.fr>
Dependencies
Source [http] https://github.com/vocal-project/vocal/archive/0.1.tar.gz
md5=958aa0242ed5abb398bff503b24e6a9f
sha512=f594f3b422bbbf4888db12ae3a75ed0a9de458a8b9e0dbeafebd0ddd3ace3f21233874817309eac4b5d80f72f778ee92038652b166f2c93d0522b6fda3a2cbeb
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/vocal/vocal.0.1/opam
No package is dependent