Paketti: coqide (8.3.pl3+dfsg-1~bpo60+1) [backports]

[ 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 Camlp5.

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

Muut pakettiin coqide liittyvät paketit

• dep: coq (= 8.3.pl3+dfsg-1~bpo60+1)

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

• dep: libatk1.0-0 (>= 1.29.3) [amd64, i386, kfreebsd-amd64, kfreebsd-i386, powerpc]

  The ATK accessibility toolkit

• dep: libc0.1 (>= 2.7) [kfreebsd-amd64, kfreebsd-i386]

  Sulautettu GNU C -kirjasto: jaetut kirjastot
  myös näennäispaketti, jonka toteuttaa libc0.1-udeb

• dep: libc6 (>= 2.7) [amd64, i386, powerpc]

  Sulautettu GNU C -kirjasto: jaetut kirjastot
  myös näennäispaketti, jonka toteuttaa libc6-udeb

• dep: libcairo2 (>= 1.2.4) [amd64, i386, kfreebsd-amd64, kfreebsd-i386, powerpc]

  The Cairo 2D vector graphics library

• dep: libcoq-ocaml-2n499 [i386, kfreebsd-i386, powerpc]

  näennäispaketti, jonka toteuttaa libcoq-ocaml

• dep: libcoq-ocaml-3ldl2 [amd64, kfreebsd-amd64]

  näennäispaketti, jonka toteuttaa libcoq-ocaml

• dep: libcoq-ocaml-cg3k8 [armel, ia64, mips, mipsel, s390]

  näennäispaketti, jonka toteuttaa libcoq-ocaml

• dep: libfontconfig1 (>= 2.8.0) [amd64, i386, kfreebsd-amd64, kfreebsd-i386, powerpc]

  generic font configuration library - runtime

• dep: libfreetype6 (>= 2.2.1) [amd64, i386, kfreebsd-amd64, kfreebsd-i386, powerpc]

  FreeType 2 -kirjasinpiirturi, jaetut kirjastotiedostot

• dep: libglib2.0-0 (>= 2.16.0) [amd64, i386, kfreebsd-amd64, kfreebsd-i386, powerpc]

  glib-kirjaston C-rutiinit

• dep: libgtk2.0-0 (>= 2.12.0) [amd64, i386, kfreebsd-amd64, kfreebsd-i386, powerpc]

  The GTK+ graphical user interface library

• dep: liblablgtk2-ocaml-h3pg1 [amd64, kfreebsd-amd64]

  Paketti ei saatavilla

• dep: liblablgtk2-ocaml-kc4f2 [armel, ia64, mips, mipsel, s390]

  Paketti ei saatavilla

• dep: liblablgtk2-ocaml-t1zm6 [i386, kfreebsd-i386, powerpc]

  Paketti ei saatavilla

• dep: libpango1.0-0 (>= 1.14.0) [amd64, i386, kfreebsd-amd64, kfreebsd-i386, powerpc]

  Layout and rendering of internationalized text

• dep: ocaml-base-nox-3.11.2

  Paketti ei saatavilla

Imuroi coqide

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
amd64	5,410.6 kt	18,300.0 kt	[tiedostoluettelo]
armel	2,425.4 kt	9,264.0 kt	[tiedostoluettelo]
i386	4,998.1 kt	15,660.0 kt	[tiedostoluettelo]
ia64	2,427.0 kt	9,264.0 kt	[tiedostoluettelo]
kfreebsd-amd64	5,409.3 kt	18,302.0 kt	[tiedostoluettelo]
kfreebsd-i386	4,996.5 kt	15,630.0 kt	[tiedostoluettelo]
mips	2,426.9 kt	9,264.0 kt	[tiedostoluettelo]
mipsel	2,425.4 kt	9,264.0 kt	[tiedostoluettelo]
powerpc	5,433.7 kt	16,372.0 kt	[tiedostoluettelo]
s390	2,425.1 kt	9,264.0 kt	[tiedostoluettelo]