Skip to content
Sections
>> Ubuntu >> Pakete >> hardy >> math >> why
[  hardy  ] [  lucid  ] [  natty  ] [  oneiric  ] [  precise  ] [  quantal  ]
[ Quellcode: why  ]

Paket: why (2.04.dfsg-3) [universe]

Links für why

Screenshot

Ubuntu-Ressourcen:

Quellcode-Paket why herunterladen:

Betreuer:

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

Original Maintainer (usually from Debian):

  • Samuel Mimram

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

Ähnliche Pakete:

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, Ergo, Yices, CVC Lite and haRVey.

Andere Pakete mit Bezug zu why

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • dep: libatk1.0-0 (>= 1.20.0)
    The ATK accessibility toolkit
  • dep: libc6 (>= 2.7-1)
    GNU C Library: Shared libraries
    auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
  • dep: libcairo2 (>= 1.5.4)
    The Cairo 2D vector graphics library
  • dep: libfontconfig1 (>= 2.4.0) [i386]
    generic font configuration library - runtime
  • dep: libglib2.0-0 (>= 2.15.1)
    The GLib library of C routines
  • dep: libgtk2.0-0 (>= 2.12.0)
    The GTK+ graphical user interface library
  • dep: libpango1.0-0 (>= 1.19.2)
    Layout and rendering of internationalized text
  • dep: libx11-6 [i386]
    X11 client-side library
  • dep: libxcomposite1 (>= 1:0.3-1) [i386]
    X11 Composite extension library
  • dep: libxcursor1 (>> 1.1.2) [i386]
    X cursor management library
  • dep: libxdamage1 (>= 1:1.1) [i386]
    X11 damaged region extension library
  • dep: libxext6 [i386]
    X11 miscellaneous extension library
  • dep: libxfixes3 (>= 1:4.0.1) [i386]
    X11 miscellaneous 'fixes' extension library
  • dep: libxi6 [i386]
    X11 Input extension library
  • dep: libxinerama1 [i386]
    X11 Xinerama extension library
  • dep: libxrandr2 (>= 2:1.2.0) [i386]
    X11 RandR extension library
  • dep: libxrender1 [i386]
    X Rendering Extension client library
  • sug: coq
    proof assistant for higher-order logic (toplevel and compiler)

why herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
amd64 4.092,8 kB12.512,0 kB [Liste der Dateien]
i386 3.689,5 kB10.280,0 kB [Liste der Dateien]