Paketti: coqide (8.1.pl3+dfsg-1 ja muut)

[ Source: coq  ]

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 Camlp4. For more information, see <http://coq.inria.fr/>.

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

Tagit: Software Development: IDE, Field: Matematiikka, Implemented in: OCaml, User Interface: X Window System, Role: Program, Scope: Application, Interface Toolkit: GTK, Ncurses TUI, Purpose: Checking, X Window System: Application

Muut pakettiin coqide liittyvät paketit

• dep: coq (>= 8.0)

  proof assistant for higher-order logic (toplevel and compiler)

• dep: libatk1.0-0 (>= 1.20.0)

  The ATK accessibility toolkit

• dep: libc6 (>= 2.7-1) [ei alpha, ia64]

  GNU C Library: Shared libraries
  myös näennäispaketti, jonka toteuttaa libc6-udeb

• dep: libc6.1 (>= 2.7-1) [alpha, ia64]

  GNU C Library: Shared libraries
  myös näennäispaketti, jonka toteuttaa libc6.1-udeb

• dep: libcairo2 (>= 1.2.4)

  The Cairo 2D vector graphics library

• dep: libgcc1 (>= 1:4.3) [armel]

  GCC:n apukirjasto

• dep: libglib2.0-0 (>= 2.12.0)

  glib-kirjaston C-rutiinit

• dep: libgtk2.0-0 (>= 2.12.0)

  The GTK+ graphical user interface library

• dep: libncurses5 (>= 5.6+20071006-3)

  jaetut kirjastot päätteen hallintaan

• dep: libpango1.0-0 (>= 1.20.2)

  Layout and rendering of internationalized text

• dep: tex-common (>= 1.10)

  common infrastructure for building and installing TeX

Imuroi coqide

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
alpha	8.1.pl3+dfsg-1+b2	2,410.6 kt	9,212.0 kt	[tiedostoluettelo]
amd64	8.1.pl3+dfsg-1+b2	5,108.7 kt	17,772.0 kt	[tiedostoluettelo]
arm	8.1.pl3+dfsg-1+b2	2,354.6 kt	8,900.0 kt	[tiedostoluettelo]
armel	8.1.pl3+dfsg-1+b2	2,359.7 kt	8,928.0 kt	[tiedostoluettelo]
hppa	8.1.pl3+dfsg-1+b2	2,389.2 kt	9,036.0 kt	[tiedostoluettelo]
i386	8.1.pl3+dfsg-1+b2	4,811.6 kt	15,712.0 kt	[tiedostoluettelo]
ia64	8.1.pl3+dfsg-1+b2	2,440.8 kt	9,564.0 kt	[tiedostoluettelo]
mips	8.1.pl3+dfsg-1+b2	2,379.9 kt	9,124.0 kt	[tiedostoluettelo]
mipsel	8.1.pl3+dfsg-1+b2	2,369.1 kt	9,124.0 kt	[tiedostoluettelo]
powerpc	8.1.pl3+dfsg-1+b2	5,374.0 kt	16,676.0 kt	[tiedostoluettelo]
s390	8.1.pl3+dfsg-1+b2	2,440.3 kt	9,112.0 kt	[tiedostoluettelo]
sparc	8.1.pl3+dfsg-1+b2	5,383.5 kt	16,740.0 kt	[tiedostoluettelo]