Source Package: why (2.26+dfsg-2+squeeze1)
Links for why
Debian Resources:
Maintainers:
External Resources:
The following binary packages are built from this source package:
- libwhy-coq
- Why library for Coq
- why
- A software verification tool
- why-examples
- Examples of programs certified with Why
Other Packages Related to why
-
- adep:
debhelper
(>= 7.0.50~)
- helper programs for debian/rules
-
- adep:
autotools-dev
- Update infrastructure for config.{guess,sub} files
-
- adep:
autoconf
- automatic configure script builder
-
- adep:
dh-ocaml
(>= 0.9~)
- helper tools for maintaining OCaml-related Debian packages
-
- adep:
ocaml-nox
(>= 3.11.1-3~)
- ML implementation with a class-based object system (no X)
-
- adep:
ocaml-best-compilers
- virtual package provided by
ocaml-native-compilers, ocaml-nox
-
- adep:
camlp4
- Pre Processor Pretty Printer for OCaml
-
- adep:
liblablgtk2-ocaml-dev
(>= 2.12.0-3)
- OCaml bindings to Gtk+ version 2
-
- adep:
coq
(>= 8.2.pl1)
- proof assistant for higher-order logic (toplevel and compiler)
-
- adep:
libfloat-coq
(>= 1:8.2-1.2-3)
- Coq library on floating-point arithmetic
-
- adep:
libocamlgraph-ocaml-dev
(>= 1.4)
- graph library for OCaml
-
- adep:
frama-c-base
(>= 20100401+boron+dfsg-4~)
- Framework for C source code analysis (without gui)
-
- adep:
libapron-ocaml-dev
(>= 0.9.10-4)
- an abstract interpretation library (OCaml interface)
-
- adep:
camlidl
- Stub code generator for Objective Caml
