why3findversion
A Why3 Package Manager
The why3find utility is designed for managing packages for why3 developpers and associated OCaml extracted code.
| Tags | 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 | |
| Optional dependencies |
|
| Source [http] | https://git.frama-c.com/-/project/1056/uploads/043312a7a70961338479016ac535c706/why3find-1.2.0.tbz md5=9ce13cca7ffe4bdb006f87293b36343f sha512=eb43bba6ff4ba6d29c4a2122a789c55b8a980b11e3fdca97d026099d6fbd8d942ce0fcedddc0c525b8cda733887f6a45ee4db253e862454da5b5ff2a1a139974 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/why3find/why3find.1.2.0/opam |
No package is dependent
