Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
56 lines (53 sloc) 1.3 KB
opam-version: "2.0"
maintainer: ""
authors: [
"Jean-Christophe Filliâtre"
"Claude Marché"
"Yannick Moy"
"Romain Bardou"
homepage: ""
doc: [""]
bug-reports: ""
dev-repo: "git+"
license: "LGPL-2.1"
tags: [
"program verification"
"automated theorem prover"
"interactive theorem prover"
build: [
["./configure" "--prefix" prefix]
install: [
[make "install"]
remove: [
["rm" "%{prefix}%/bin/jessie"]
["rm" "%{prefix}%/bin/krakatoa"]
["rm" "-rf" "%{prefix}%/lib/why"]
depends: [
"ocaml" {>= "4.02.0"}
"why3" {>= "0.86.1" & <= "0.88.3"}
"frama-c" {= "17.0"}
synopsis: "Why is a software verification platform."
description: """
Why is not any longer under active development. Our efforts have moved
to the development of Why3.
Why is still maintained, in particular to provide the Jessie plug-in
of Frama-C and the Krakatoa front-end for Java.
This version is compatible with Frama-C version Chlorine"""
flags: light-uninstall
url {
src: ""
checksum: "md5=9c5c3eb9f421b8dbbf141b153b051a51"