why3findversion
A Why3 Package Manager
The why3find utility is designed for managing packages for why3 developpers and associated OCaml extracted code.
Tags | topics why3 |
---|---|
Authors | Loïc Correnson <loic.correnson@cea.fr> and Benjamin Jorge <benjamin.jorge@cea.fr> |
License | LGPL-2.1-only |
Published | |
Homepage | https://git.frama-c.com/pub/why3find |
Issue Tracker | https://git.frama-c.com/pub/why3find/issues |
Maintainers | benjamin.jorge@cea.fr and loic.correnson@cea.fr |
Dependencies | |
Source [http] | https://git.frama-c.com/pub/why3find/-/archive/1.0/why3find-1.0.tar.gz md5=6db70cd5ee884a1014ed6243a3e83df9 sha512=329e0aac4a0e5f7fcd96c5bec90938e643f7ebab81e38ff1e877b85761139706d75395a2f20e1911136d63ec1d23853a3efec8c5d87dc94102748845cf722a9d |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/why3find/why3find.1.0/opam |
No package is dependent