Tarkennettu haku
squeeze  ] [  squeeze-backports  ] [  wheezy  ] [  sid  ] [  experimental  ]
[ Source: coq  ]

Paketti: coqide (8.4~beta+dfsg-4 ja muut)

Links for coqide

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti coq:

Ylläpitäjät:

External Resources:

Samankaltaisia paketteja:

Kokeellinen paketti

Varoitus: Tämä paketti on kokeellisesta jakelusta. Tämä tarkoittaa, että se on luultavasti epävakaa tai buginen, ja voi aiheuttaa jopa tiedonhäviötä. Kannattaa ehdottomasti tutustua muutoslokiin ja muihin mahdollisiin ohjeisiin ennen käyttöönottoa.

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

  • depends
  • recommends
  • suggests
  • dep: coq (= 8.4~beta+dfsg-3) [alpha, sh4]
    proof assistant for higher-order logic (toplevel and compiler)
    dep: coq (= 8.4~beta+dfsg-4) [ei alpha, sh4]
  • dep: libatk1.0-0 (>= 1.12.4) [amd64, armel, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]
    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) [amd64, armel, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]
    The Cairo 2D vector graphics library
  • dep: libcoq-ocaml-5q2v9 [armhf, ia64, mips, mipsel, s390, s390x]
    näennäispaketti, jonka toteuttaa libcoq-ocaml
  • dep: libcoq-ocaml-unb18 [alpha, sh4]
    näennäispaketti, jonka toteuttaa libcoq-ocaml
  • dep: libfontconfig1 (>= 2.8.0) [amd64, armel, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]
    generic font configuration library - runtime
  • dep: libfreetype6 (>= 2.2.1) [amd64, armel, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]
    FreeType 2 -kirjasinpiirturi, jaetut kirjastotiedostot
  • dep: libgcc1 (>= 1:4.4.0) [armel]
    GCC:n apukirjasto
  • dep: libgdk-pixbuf2.0-0 (>= 2.22.0) [amd64, armel, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]
    GDK Pixbuf library
  • dep: libglib2.0-0 (>= 2.24.0) [amd64, armel, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]
    GLib library of C routines
  • dep: libgtk2.0-0 (>= 2.24.0) [amd64, armel, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]
    GTK+ graphical user interface library
  • dep: liblablgtk2-ocaml-yeug0 [ei amd64, armel, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]
    Paketti ei saatavilla
  • dep: libpango1.0-0 (>= 1.14.0) [amd64, armel, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]
    Layout and rendering of internationalized text
  • dep: ocaml-base-nox-3.12.1 [ei amd64, armel, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]
    Paketti ei saatavilla

Imuroi coqide

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Versio Paketin koko Koko asennettuna Tiedostot
alpha (epävirallinen siirros) 8.4~beta+dfsg-3 317.5 kt1,432.0 kt [tiedostoluettelo]
amd64 8.4~beta+dfsg-4 1,027.5 kt3,449.0 kt [tiedostoluettelo]
armel 8.4~beta+dfsg-4 912.1 kt2,431.0 kt [tiedostoluettelo]
armhf 8.4~beta+dfsg-4 317.4 kt1,432.0 kt [tiedostoluettelo]
i386 8.4~beta+dfsg-4 811.0 kt2,360.0 kt [tiedostoluettelo]
ia64 8.4~beta+dfsg-4 317.7 kt1,369.0 kt [tiedostoluettelo]
kfreebsd-amd64 8.4~beta+dfsg-4 1,027.9 kt3,393.0 kt [tiedostoluettelo]
kfreebsd-i386 8.4~beta+dfsg-4 811.8 kt2,304.0 kt [tiedostoluettelo]
mips 8.4~beta+dfsg-4 318.3 kt1,432.0 kt [tiedostoluettelo]
mipsel 8.4~beta+dfsg-4 318.4 kt1,432.0 kt [tiedostoluettelo]
powerpc 8.4~beta+dfsg-4 914.8 kt2,520.0 kt [tiedostoluettelo]
s390 8.4~beta+dfsg-4 317.5 kt1,432.0 kt [tiedostoluettelo]
s390x 8.4~beta+dfsg-4 318.4 kt1,432.0 kt [tiedostoluettelo]
sh4 (epävirallinen siirros) 8.4~beta+dfsg-3 318.3 kt1,432.0 kt [tiedostoluettelo]
sparc 8.4~beta+dfsg-4 903.4 kt2,444.0 kt [tiedostoluettelo]