[ Source: why ]
Package: why (2.26+dfsg-2+squeeze1)
Links for why
Debian Resources:
Download Source Package why:
Maintainers:
External Resources:
- Homepage [why.lri.fr]
Similar packages:
A software verification tool
Why aims at being a verification conditions generator (VCG) back-end for other verification tools. It provides a powerful input language including higher-order functions, polymorphism, references, arrays and exceptions. It generates proof obligations for many systems: the proof assistants Coq, PVS, Isabelle/HOL, HOL 4, HOL Light, Mizar and the decision procedures Simplify, Alt-Ergo, Yices, CVC Lite and haRVey.
Other Packages Related to why
|
|
|
-
- dep: libatk1.0-0 (>= 1.29.3) [not armel, ia64, mips, mipsel, s390]
- ATK アクセシビリティツールキット
-
- dep: libc0.1 (>= 2.7) [kfreebsd-amd64, kfreebsd-i386]
- 組込用 GNU C ライブラリ: 共有ライブラリ
also a virtual package provided by libc0.1-udeb
-
- dep: libc6 (>= 2.0) [mips, mipsel]
- 組込用 GNU C ライブラリ: 共有ライブラリ
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.4) [armel, s390]
- dep: libc6 (>= 2.7) [amd64, i386, powerpc, sparc]
-
- dep: libc6.1 (>= 2.2) [ia64]
- 組込用 GNU C ライブラリ: 共有ライブラリ
also a virtual package provided by libc6.1-udeb
-
- dep: libcairo2 (>= 1.2.4) [not armel, ia64, mips, mipsel, s390]
- Cairo 二次元ベクトルグラフィックライブラリ
-
- dep: libfontconfig1 (>= 2.8.0) [not armel, ia64, mips, mipsel, s390]
- 汎用フォント設定ライブラリ - ランタイム
-
- dep: libfreetype6 (>= 2.2.1) [not armel, ia64, mips, mipsel, s390]
- FreeType 2 フォントエンジン共有ライブラリファイル
-
- dep: libglib2.0-0 (>= 2.16.0) [not armel, ia64, mips, mipsel, s390]
- C ルーチンの GLib ライブラリ
-
- dep: libgmp3c2 [not armel, ia64, mips, mipsel, s390]
- 多倍長精度演算ライブラリ
-
- dep: libgtk2.0-0 (>= 2.12.0) [not armel, ia64, mips, mipsel, s390]
- GTK+ GUI インターフェイスライブラリ
-
- dep: liblablgtk2-ocaml-kc4f2 [armel, ia64, mips, mipsel, s390]
- virtual package provided by liblablgtk2-ocaml
-
- dep: libmpfr4 [not armel, ia64, mips, mipsel, s390]
- 多倍長精度浮動小数点演算
-
- dep: libpango1.0-0 (>= 1.14.0) [not armel, ia64, mips, mipsel, s390]
- 国際化されたテキストのレイアウトと描画
-
- dep: make
- コンパイルを制御するユーティリティ
-
- dep: ocaml-base-nox-3.11.2
- virtual package provided by ocaml-base-nox
-
- rec: alt-ergo
- Automatic theorem prover dedicated to program verification
-
- sug: libwhy-coq (= 2.26+dfsg-2+squeeze1)
- Why library for Coq
Download why
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 8,365.7 kB | 26,428.0 kB | [list of files] |
| armel | 14,239.4 kB | 37,336.0 kB | [list of files] |
| i386 | 7,475.5 kB | 21,712.0 kB | [list of files] |
| ia64 | 14,223.3 kB | 39,120.0 kB | [list of files] |
| kfreebsd-amd64 | 8,829.4 kB | 27,684.0 kB | [list of files] |
| kfreebsd-i386 | 7,449.7 kB | 21,648.0 kB | [list of files] |
| mips | 14,242.2 kB | 37,340.0 kB | [list of files] |
| mipsel | 14,241.2 kB | 37,340.0 kB | [list of files] |
| powerpc | 8,471.2 kB | 23,616.0 kB | [list of files] |
| s390 | 14,234.0 kB | 37,336.0 kB | [list of files] |
| sparc | 8,413.2 kB | 23,612.0 kB | [list of files] |