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

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

Links for why

Screenshot

Ubuntu Resources:

Download Source Package why:

Maintainer:

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.

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

Other Packages Related to why

  • depends
  • recommends
  • suggests
  • dep: libatk1.0-0 (>= 1.20.0)
    The ATK accessibility toolkit
  • dep: libc6 (>= 2.7-1)
    GNU C Library: Shared libraries
    also a virtual package provided by 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)

Download why

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 4,092.8 kB12,512.0 kB [list of files]
i386 3,689.5 kB10,280.0 kB [list of files]