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 | |
| Source [http] | https://git.frama-c.com/pub/why3find/-/archive/1.1.0/why3find-1.1.0.tar.gz md5=d0a9d93c87e9cd87a3ca9131c6d1f088 sha512=38de62fb97f4e52a1dfb7d4d8b4efad007ea04595068c5d842e11e659811ea3489497a04e627c420b41c381f8005935749b1af7575d007bdaf6ba03ed1ad7bfc |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/why3find/why3find.1.1.0/opam |
No package is dependent
