Paketti: coqide (8.3.pl4+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 Camlp5.

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

Tagit: Software Development: IDE, Field: Matematiikka, Implemented in: OCaml, User Interface: interface::x11, role::program, Scope: Application, Interface Toolkit: GTK, uitoolkit::ncurses, use::checking, X Window System: Application

Muut pakettiin coqide liittyvät paketit

• dep: coq (= 8.3.pl4+dfsg-1) [ei ia64, mipsel]

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

  dep: coq (= 8.3.pl4+dfsg-1+b1) [ia64, mipsel]

• dep: libatk1.0-0 (>= 1.12.4) [ei armhf, ia64, mips, mipsel, s390, s390x]

  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, armel, i386, powerpc, sparc]

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

• dep: libcairo2 (>= 1.2.4) [ei armhf, ia64, mips, mipsel, s390, s390x]

  The Cairo 2D vector graphics library

• dep: libcoq-ocaml-ehg05 [armel]

  näennäispaketti, jonka toteuttaa libcoq-ocaml

• dep: libcoq-ocaml-m0xl3 [amd64, kfreebsd-amd64]

  näennäispaketti, jonka toteuttaa libcoq-ocaml

• dep: libcoq-ocaml-nc3h8 [armhf, ia64, mips, mipsel, s390, s390x]

  näennäispaketti, jonka toteuttaa libcoq-ocaml

• dep: libcoq-ocaml-s00f5 [i386, kfreebsd-i386, powerpc, sparc]

  näennäispaketti, jonka toteuttaa libcoq-ocaml

• dep: libfontconfig1 (>= 2.8.0) [ei armhf, ia64, mips, mipsel, s390, s390x]

  generic font configuration library - runtime

• dep: libfreetype6 (>= 2.2.1) [ei armhf, ia64, mips, mipsel, s390, s390x]

  FreeType 2 -kirjasinpiirturi, jaetut kirjastotiedostot

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

  GCC:n apukirjasto

• dep: libgdk-pixbuf2.0-0 (>= 2.22.0) [ei armhf, ia64, mips, mipsel, s390, s390x]

  GDK Pixbuf library

• dep: libglib2.0-0 (>= 2.24.0) [ei armhf, ia64, mips, mipsel, s390, s390x]

  GLib library of C routines

• dep: libgtk2.0-0 (>= 2.24.0) [ei armhf, ia64, mips, mipsel, s390, s390x]

  GTK+ graphical user interface library

• dep: liblablgtk2-ocaml-v69e2 [armel, i386, kfreebsd-i386, powerpc, sparc]

  näennäispaketti, jonka toteuttaa liblablgtk2-ocaml

• dep: liblablgtk2-ocaml-yeug0 [armhf, ia64, mips, mipsel, s390, s390x]

  näennäispaketti, jonka toteuttaa liblablgtk2-ocaml

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

  näennäispaketti, jonka toteuttaa liblablgtk2-ocaml

• dep: libpango1.0-0 (>= 1.14.0) [ei armhf, ia64, mips, mipsel, s390, s390x]

  Layout and rendering of internationalized text

• dep: ocaml-base-nox-3.12.1

  näennäispaketti, jonka toteuttaa ocaml-base-nox

Imuroi coqide

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
amd64	8.3.pl4+dfsg-1	5,484.0 kt	18,500.0 kt	[tiedostoluettelo]
armel	8.3.pl4+dfsg-1	5,998.2 kt	18,515.0 kt	[tiedostoluettelo]
armhf	8.3.pl4+dfsg-1	2,478.3 kt	9,409.0 kt	[tiedostoluettelo]
i386	8.3.pl4+dfsg-1	5,106.6 kt	15,956.0 kt	[tiedostoluettelo]
ia64	8.3.pl4+dfsg-1+b1	2,476.6 kt	9,409.0 kt	[tiedostoluettelo]
kfreebsd-amd64	8.3.pl4+dfsg-1	5,484.5 kt	18,447.0 kt	[tiedostoluettelo]
kfreebsd-i386	8.3.pl4+dfsg-1	5,104.1 kt	15,904.0 kt	[tiedostoluettelo]
mips	8.3.pl4+dfsg-1	2,476.7 kt	9,409.0 kt	[tiedostoluettelo]
mipsel	8.3.pl4+dfsg-1+b1	2,478.0 kt	9,409.0 kt	[tiedostoluettelo]
powerpc	8.3.pl4+dfsg-1	5,505.2 kt	16,553.0 kt	[tiedostoluettelo]
s390	8.3.pl4+dfsg-1	2,477.6 kt	9,409.0 kt	[tiedostoluettelo]
s390x	8.3.pl4+dfsg-1	2,479.5 kt	9,409.0 kt	[tiedostoluettelo]
sparc	8.3.pl4+dfsg-1	5,362.9 kt	16,467.0 kt	[tiedostoluettelo]