» Ubuntu » パッケージ » xenial (16.04LTS) » math » why
xenial  ] [  bionic  ] [  cosmic  ] [  disco  ]
[ ソース: why  ]

パッケージ: why (2.34-4ubuntu4) [universe]

why に関するリンク


Ubuntu の資源:

why ソースパッケージをダウンロード:


Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.



Software verification tool

その他の why 関連パッケージ

  • 依存
  • 推奨
  • 提案
  • enhances
  • dep: frama-c-base (= 20151002+magnesium+dfsg-1build1)
    Framework for C source code analysis (without gui)
  • dep: libc6 (>= 2.15)
    GNU C Library: Shared libraries
    以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
  • dep: libgdk-pixbuf2.0-0 (>= 2.22.0)
    GDK Pixbuf library
  • dep: libglib2.0-0 (>= 2.35.9)
    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.3)
    multiple precision floating-point computation
  • dep: libpango-1.0-0 (>= 1.14.0)
    Layout and rendering of internationalized text
  • dep: make
    utility for directing compilation
    以下のパッケージによって提供される仮想パッケージでもあります: make-guile
  • rec: alt-ergo
    Automatic theorem prover dedicated to program verification
    または cvc3
    Automatic theorem prover for SMT problems
    または coq
    proof assistant for higher-order logic (toplevel and compiler)
  • sug: libwhy-coq (= 2.34-4ubuntu4)

why のダウンロード

アーキテクチャ パッケージサイズ インストールサイズ ファイル
amd64 3,475.5 kB22,046.0 kB [ファイル一覧]