package why3find
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
A Why3 Package Manager
Install
Dune Dependency
Authors
Maintainers
Sources
why3find-1.1.0.tar.gz
md5=d0a9d93c87e9cd87a3ca9131c6d1f088
sha512=38de62fb97f4e52a1dfb7d4d8b4efad007ea04595068c5d842e11e659811ea3489497a04e627c420b41c381f8005935749b1af7575d007bdaf6ba03ed1ad7bfc
Description
The why3find utility is designed for managing packages for why3 developpers and associated OCaml extracted code.
On This Page