» Ubuntu » Packages » precise (12.04LTS) » Source » math » why
lucid  ] [  precise  ] [  raring  ] [  utopic  ]

Source Package: why (2.30+dfsg-3) [universe]

Links for why

Ubuntu Resources:

Maintainer:

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:

Наступні двійкові пакунки побудовано з цього джерельного пакунка:
libwhy-coq
Why library for Coq
why
Software verification tool
why-examples
Examples of programs certified with Why

Інші пакунки пов'язані з why

  • build-depends
  • build-depends-indep
  • adep: debhelper (>= 7.0.50~)
    helper programs for debian/rules
  • adep: autotools-dev
    Update infrastructure for config.{guess,sub} files
  • adep: autoconf
    automatic configure script builder
  • adep: dh-ocaml (>= 0.9~)
    helper tools for maintaining OCaml-related Debian packages
  • adep: ocaml-nox (>= 3.11.1-3~)
    ML implementation with a class-based object system (no X)
  • adep: ocaml-best-compilers
    virtual package provided by ocaml-native-compilers
  • adep: camlp4
    Pre Processor Pretty Printer for OCaml
  • adep: liblablgtk2-ocaml-dev (>= 2.12.0-3~)
    OCaml bindings to Gtk+ version 2
  • adep: coq (>= 8.3~)
    proof assistant for higher-order logic (toplevel and compiler)
  • adep: libfloat-coq
    Coq library on floating-point arithmetic
  • adep: libocamlgraph-ocaml-dev (>= 1.4~)
    graph library for OCaml
  • adep: frama-c-base (>= 20111001+nitrogen+dfsg-1~)
    Framework for C source code analysis (without gui)
  • adep: libapron-ocaml-dev (>= 0.9.10-4~)
    an abstract interpretation library (OCaml interface)
  • adep: camlidl
    Stub code generator for Objective Caml

Download why

ФайлРозмір (в кБ)MD5 checksum
why_2.30+dfsg-3.dsc 1.9 kB 91c99714d73da5c3a444599ffe76c1b3
why_2.30+dfsg.orig.tar.gz 3,157.9 kB 8e8c6a4c203ed4827cda0e2c8137a6da
why_2.30+dfsg-3.debian.tar.gz 11.0 kB 5788a4c0f1f5d0d9ac4e5ce870069b93
Debian Package Source Repository (VCS: Git)
git://git.debian.org/git/pkg-ocaml-maint/packages/why.git
Debian Package Source Repository (Browsable)
http://git.debian.org/?p=pkg-ocaml-maint/packages/why.git