packages
[ Source: why ]
Package: why (2.30+dfsg-5) [universe]
Links for why
Ubuntu Resources:
Download Source Package why:
Maintainer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (Mail Archive)
- Samuel Mimram
- Mehdi Dogguy
It should generally not be necessary for users to contact the original maintainer.
External Resources:
- Homepage [why.lri.fr]
Similar packages:
Software verification tool
Other Packages Related to why
|
|
|
-
- dep: frama-c-base (= 20111001+nitrogen+dfsg-4)
- Framework for C source code analysis (without gui)
-
- dep: libc6 (>= 2.15)
- Embedded GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
-
- dep: libgdk-pixbuf2.0-0 (>= 2.22.0)
- GDK Pixbuf library
-
- dep: libglib2.0-0 (>= 2.24.0)
- GLib library of C routines
-
- dep: libgmp10
- Multiprecision arithmetic library
-
- dep: libgtk2.0-0 (>= 2.24.0)
- GTK+ graphical user interface library
-
- dep: libmpfr4 (>= 3.1.0)
- multiple precision floating-point computation
-
- dep: libpango1.0-0 (>= 1.14.0)
- Layout and rendering of internationalized text
-
- dep: make
- An utility for Directing compilation.
-
- dep: ocaml-base-nox-3.12.1
- virtual package provided by ocaml-base-nox
-
- rec: alt-ergo
- Automatic theorem prover dedicated to program verification
-
- sug: libwhy-coq (= 2.30+dfsg-5)
- Why library for Coq
Download why
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 8,322.2 kB | 25,434.0 kB | [list of files] |
| i386 | 6,855.0 kB | 19,534.0 kB | [list of files] |