[ Source: coq ]
Package: coqide (8.19.1+dfsg-3 and others)
Links for coqide
Debian Resources:
Download Source Package coq:
Maintainers:
- Debian OCaml Maintainers (QA Page, Mail Archive)
- Benjamin Barenblat (QA Page)
- Julien Puydt (QA Page)
- Ralf Treinen (QA Page)
- Stéphane Glondu (QA Page)
External Resources:
- Homepage [coq.inria.fr]
Similar packages:
bevisassistent for højere ordens logik (gtk-brugerflade)
Coq er en bevisassistent for højere ordens logik, som tillader udviklingen af computerprogrammer som overholder deres formelle specifikationer. Det udvikles med brug af Objective Caml og Camlp5.
Denne pakke tilbyder CoqIde, en grafisk brugergrænseflade for udvikling af beviser (»proofs«).
Other Packages Related to coqide
|
|
|
|
-
- dep: coq (= 8.12.0-3+b3) [alpha, hppa, ia64, sh4, sparc64, x32]
- Bevisassistent for højere ordens logik - topniveau og kompiler
- dep: coq (= 8.19.1+dfsg-3) [ppc64]
- dep: coq (= 8.19.1+dfsg-3+b2) [amd64, arm64, riscv64, s390x]
- dep: coq (= 8.19.1+dfsg-3+b3) [ppc64el]
- dep: coq (>= 8.0) [m68k]
-
- dep: libatk1.0-0 (>= 1.20.0) [m68k]
- Værktøjssættet til ATK-tilgængelighed
-
- dep: libc6 (>= 2.38) [amd64, arm64, ppc64, ppc64el, riscv64, s390x]
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.5-5) [m68k]
-
- dep: libcairo2 (>= 1.12.0) [amd64, arm64, ppc64, ppc64el, riscv64, s390x]
- Cairo 2D - vektorgrafikbibliotek
- dep: libcairo2 (>= 1.2.4) [m68k]
-
- dep: libfontconfig1 (>= 2.12.6) [amd64, arm64, ppc64, ppc64el, riscv64, s390x]
- bibliotek til konfiguration af generiske skrifttyper - kørselstid
-
- dep: libfreetype6 (>= 2.2.1) [amd64, arm64, ppc64, ppc64el, riscv64, s390x]
- FreeType 2-skriftmotor - delte biblioteksfiler
-
- dep: libgdk-pixbuf-2.0-0 (>= 2.22.0) [amd64, arm64, ppc64, ppc64el, riscv64, s390x]
- GDK Pixbuf-bibliotek
-
- dep: libglib2.0-0 (>= 2.12.0) [m68k]
- GLib-bibliotek for C-rutiner - overgangspakke
-
- dep: libglib2.0-0t64 (>= 2.36.0) [amd64, arm64, ppc64, ppc64el, riscv64, s390x]
- GLib-bibliotek for C-rutiner
-
- dep: libgtk-3-0t64 (>= 3.11.5) [amd64, arm64, ppc64, ppc64el, riscv64, s390x]
- GTK-grafisk brugerfladebibliotek
-
- dep: libgtk2.0-0 (>= 2.12.0) [m68k]
- Grafisk brugergrænsefladebibliotek til GTK - ældre version
-
- dep: libgtksourceview-3.0-1 (>= 2.91.4) [amd64, arm64, ppc64, ppc64el, riscv64, s390x]
- delte bibliotekter for GTK+-kontrollen til fremhævelse af syntaks
-
- dep: libncurses5 (>= 5.6+20071006-3) [m68k]
- Package not available
-
- dep: libpango-1.0-0 (>= 1.14.0) [amd64, arm64, ppc64, ppc64el, riscv64, s390x]
- Layout og optegning af internationaliseret tekst
-
- dep: libpango1.0-0 (>= 1.20.2) [m68k]
- Layout og optegning af internationaliseret tekst - overgangspakke
-
- dep: tex-common (>= 1.10) [m68k]
- Fælles infrastruktur for bygning og installation af TeX
Download coqide
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
alpha (unofficial port) | 8.12.0-3+b3 | 45.6 kB | 111.0 kB | [list of files] |
amd64 | 8.19.1+dfsg-3+b2 | 2,100.9 kB | 10,480.0 kB | [list of files] |
arm64 | 8.19.1+dfsg-3+b2 | 2,411.6 kB | 12,296.0 kB | [list of files] |
hppa (unofficial port) | 8.12.0-3+b3 | 45.7 kB | 111.0 kB | [list of files] |
ia64 (unofficial port) | 8.12.0-3+b3 | 45.6 kB | 111.0 kB | [list of files] |
m68k (unofficial port) | 8.1.pl3+dfsg-1+b2 | 2,363.1 kB | 8,880.0 kB | [list of files] |
ppc64 (unofficial port) | 8.19.1+dfsg-3 | 1,977.7 kB | 11,703.0 kB | [list of files] |
ppc64el | 8.19.1+dfsg-3+b3 | 2,136.4 kB | 11,272.0 kB | [list of files] |
riscv64 | 8.19.1+dfsg-3+b2 | 2,140.1 kB | 11,236.0 kB | [list of files] |
s390x | 8.19.1+dfsg-3+b2 | 2,116.9 kB | 11,804.0 kB | [list of files] |
sh4 (unofficial port) | 8.12.0-3+b3 | 45.6 kB | 111.0 kB | [list of files] |
sparc64 (unofficial port) | 8.12.0-3+b3 | 45.7 kB | 111.0 kB | [list of files] |
x32 (unofficial port) | 8.12.0-3+b3 | 45.6 kB | 111.0 kB | [list of files] |