package why3find

  1. Overview
  2. No Docs
A Why3 Package Manager

Install 

dune-project
 Dependency

git.frama-c.com Edit opam file Versions (3)

Authors

  1. L
    Loïc Correnson <loic.correnson@cea.fr>
  2. B
    Benjamin Jorge <benjamin.jorge@cea.fr>

Maintainers

  1. B
    benjamin.jorge@cea.fr
  2. L
    loic.correnson@cea.fr

Sources

why3find-1.3.0.tar.gz
md5=435da830a513fd91ec5411c91126b763
sha512=fd8b04eb16d569c0dc9e5595a40b174d7858121b080c81d459b2f28fb3af1ebc32ef408859d5c1c5f45c61790625c027c2ecfc3d45e597943543de7212bab8d6

Description

The why3find utility is designed for managing packages for why3 developpers and associated OCaml extracted code.

Tags

why3

Published: 14 Jan 2026

Dependencies (6)

  1. terminal_size >= "0.2.0"
  2. yojson >= "1.7.0"
  3. ocaml >= "4.13.0"
  4. why3 >= "1.8.0"
  5. dune-site >= "3.12"
  6. dune >= "3.12"

Dev Dependencies (3)

  1. odoc with-doc
  2. alt-ergo with-test & = "2.4.2"
  3. zmq with-test

Used by

None

Conflicts

None