packages
[ Quellcode: why ]
Paket: why (2.30+dfsg-5) [universe]
Links für why
Ubuntu-Ressourcen:
Quellcode-Paket why herunterladen:
Betreuer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (E-Mail-Archiv)
- Samuel Mimram
- Mehdi Dogguy
It should generally not be necessary for users to contact the original maintainer.
Externe Ressourcen:
- Homepage [why.lri.fr]
Ähnliche Pakete:
Software verification tool
Andere Pakete mit Bezug zu 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
auch ein virtuelles Paket, bereitgestellt durch 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
- virtuelles Paket, bereitgestellt durch ocaml-base-nox
-
- rec: alt-ergo
- Automatic theorem prover dedicated to program verification
-
- sug: libwhy-coq (= 2.30+dfsg-5)
- Why library for Coq
why herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| amd64 | 8.322,2 kB | 25.434,0 kB | [Liste der Dateien] |
| i386 | 6.855,0 kB | 19.534,0 kB | [Liste der Dateien] |