Paketti: coqide (8.2.pl1+dfsg-6) [universe]

Links for coqide

Ubuntu-palvelut:

Imuroi lähdekoodipaketti coq:

Ylläpitäjä:

Ubuntu MOTU Developers (Mail Archive)

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)
Ralf Treinen
Remi Vanicat
Stefano Zacchiroli
Samuel Mimram
Stéphane Glondu

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

External Resources:

Kotisivu [coq.inria.fr]

Samankaltaisia paketteja:

proof assistant for higher-order logic (gtk interface)

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.

This package provides CoqIde, a graphical user interface for developing proofs.

Muut pakettiin coqide liittyvät paketit

depends

recommends

suggests

dep: coq (= 8.2.pl1+dfsg-6)

proof assistant for higher-order logic (toplevel and compiler)
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: libgtk2.0-0 (>= 2.12.0)

The GTK+ graphical user interface library
dep: liblablgtk2-ocaml-h3pg1 [amd64]

näennäispaketti, jonka toteuttaa liblablgtk2-ocaml
dep: liblablgtk2-ocaml-t1zm6 [i386]

näennäispaketti, jonka toteuttaa liblablgtk2-ocaml
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

Imuroi coqide

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
amd64	6,391.4 kt	21,752.0 kt	[tiedostoluettelo]
i386	5,878.2 kt	18,576.0 kt	[tiedostoluettelo]

Sections