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

Paketti: why (2.23+dfsg-2) [universe]

Links for why

Screenshot

Ubuntu-palvelut:

Imuroi lähdekoodipaketti why:

Ylläpitäjä:

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

Original Maintainers (usually from Debian):

  • Debian OCaml Maintainers (Mail Archive)
  • Samuel Mimram
  • Mehdi Dogguy

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

External Resources:

Samankaltaisia paketteja:

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.

Muut pakettiin why liittyvät paketit

  • depends
  • recommends
  • suggests
  • dep: libatk1.0-0 (>= 1.29.3)
    The ATK accessibility toolkit
  • dep: libc6 (>= 2.11)
    Embedded GNU C Library: Shared libraries
    myös näennäispaketti, jonka toteuttaa libc6-udeb
  • dep: libcairo2 (>= 1.2.4)
    The Cairo 2D vector graphics library
  • dep: libfontconfig1 (>= 2.8.0)
    generic font configuration library - runtime
  • dep: libfreetype6 (>= 2.2.1)
    FreeType 2 font engine, shared library files
  • dep: libglib2.0-0 (>= 2.16.0)
    The GLib library of C routines
  • dep: libgmp3c2
    Multiprecision arithmetic library
  • dep: libgtk2.0-0 (>= 2.12.0)
    The GTK+ graphical user interface library
  • dep: libmpfr1ldbl
    multiple precision floating-point computation
  • dep: libpango1.0-0 (>= 1.14.0)
    Layout and rendering of internationalized text
  • dep: ocaml-base-nox-3.11.2
    näennäispaketti, jonka toteuttaa ocaml-base-nox
  • rec: alt-ergo
    Automatic theorem prover dedicated to program verification
  • sug: libwhy-coq (= 2.23+dfsg-2)
    Why library for Coq

Imuroi why

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
amd64 8,812.7 kt27,636.0 kt [tiedostoluettelo]
i386 7,062.5 kt20,716.0 kt [tiedostoluettelo]