[ Bron: coq ]
Pakket: coqide (8.3.pl3+dfsg-1~bpo60+1) [backports]
Verwijzigingen voor coqide
Debian bronnen:
Het bronpakket coq downloaden:
- [coq_8.3.pl3+dfsg-1~bpo60+1.dsc]
- [coq_8.3.pl3+dfsg.orig.tar.gz]
- [coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz]
Beheerders:
- Debian OCaml Maintainers (QA-pagina, Mailarchief)
- Ralf Treinen (QA-pagina)
- Samuel Mimram (QA-pagina)
- Stéphane Glondu (QA-pagina)
Externe bronnen:
- Homepage [coq.inria.fr]
Vergelijkbare pakketten:
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.
Andere aan coqide gerelateerde pakketten
|
|
|
-
- 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]
- Embedded GNU C Library: Shared libraries
Ook een virtueel pakket geboden door: libc0.1-udeb
-
- dep: libc6 (>= 2.7) [amd64, i386, powerpc]
- Embedded GNU C Library: Shared libraries
Ook een virtueel pakket geboden door: 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]
- virtueel pakket geboden door libcoq-ocaml
-
- dep: libcoq-ocaml-3ldl2 [amd64, kfreebsd-amd64]
- virtueel pakket geboden door libcoq-ocaml
-
- dep: libcoq-ocaml-cg3k8 [armel, ia64, mips, mipsel, s390]
- virtueel pakket geboden door 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 lettertypesysteem, gedeelde bibliotheken
-
- dep: libglib2.0-0 (>= 2.16.0) [amd64, i386, kfreebsd-amd64, kfreebsd-i386, powerpc]
- The GLib library of C routines
-
- 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]
- Pakket niet beschikbaar
-
- dep: liblablgtk2-ocaml-kc4f2 [armel, ia64, mips, mipsel, s390]
- Pakket niet beschikbaar
-
- dep: liblablgtk2-ocaml-t1zm6 [i386, kfreebsd-i386, powerpc]
- Pakket niet beschikbaar
-
- 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
- Pakket niet beschikbaar
coqide downloaden
| Platform | Pakketgrootte | Geïnstalleerde grootte | Bestanden |
|---|---|---|---|
| amd64 | 5.410,6 kB | 18.300,0 kB | [overzicht] |
| armel | 2.425,4 kB | 9.264,0 kB | [overzicht] |
| i386 | 4.998,1 kB | 15.660,0 kB | [overzicht] |
| ia64 | 2.427,0 kB | 9.264,0 kB | [overzicht] |
| kfreebsd-amd64 | 5.409,3 kB | 18.302,0 kB | [overzicht] |
| kfreebsd-i386 | 4.996,5 kB | 15.630,0 kB | [overzicht] |
| mips | 2.426,9 kB | 9.264,0 kB | [overzicht] |
| mipsel | 2.425,4 kB | 9.264,0 kB | [overzicht] |
| powerpc | 5.433,7 kB | 16.372,0 kB | [overzicht] |
| s390 | 2.425,1 kB | 9.264,0 kB | [overzicht] |