Pakiet: coqide (8.18.0+dfsg-1 i inne)
Odnośniki dla coqide
Zasoby systemu Debian:
- Raporty o błędach
- Developer Information
- Dziennik zmian w systemie Debian
- Informacje nt. praw autorskich
- Śledzenie łatek systemu Debian
Pobieranie pakietu źródłowego coq:
Opiekunowie:
- Debian OCaml Maintainers (Strona QA, Archiwum e-mail)
- Benjamin Barenblat (Strona QA)
- Julien Puydt (Strona QA)
- Ralf Treinen (Strona QA)
- Stéphane Glondu (Strona QA)
Zasoby zewnętrzne:
- Strona internetowa [coq.inria.fr]
Podobne pakiety:
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.
Inne pakiety związane z coqide
|
|
|
|
-
- dep: coq (= 8.12.0-3+b3) [alpha, hppa, ia64, sh4, sparc64, x32]
- Asystent udowadniania logiki wyższego rzędu (interfejs i kompilator)
- dep: coq (= 8.17.0+dfsg-1+b2) [ppc64]
- dep: coq (= 8.18.0+dfsg-1+b1) [amd64, arm64, armhf, i386, ppc64el, riscv64, s390x]
- dep: coq (>= 8.0) [m68k]
-
- dep: libatk1.0-0 (>= 1.20.0) [m68k]
- ATK, zestaw narzędzi dostarczający interfejsy dostępu
-
- dep: libc6 (>= 2.34) [riscv64]
- Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb
- dep: libc6 (>= 2.35) [amd64, arm64, armhf, i386, ppc64, ppc64el, s390x]
- dep: libc6 (>= 2.5-5) [m68k]
-
- dep: libcairo2 (>= 1.12.0) [nie alpha, hppa, ia64, m68k, sh4, sparc64, x32]
- Cairo - biblioteka do dwuwymiarowej grafiki wektorowej
- dep: libcairo2 (>= 1.2.4) [m68k]
-
- dep: libfontconfig1 (>= 2.12.6) [nie alpha, hppa, ia64, m68k, sh4, sparc64, x32]
- Ogólna bilioteka konfiuracji czcionek - uruchomieniowa
-
- dep: libfreetype6 (>= 2.2.1) [nie alpha, hppa, ia64, m68k, sh4, sparc64, x32]
- Silnik czcionek FreeType 2, pliki biblioteki współdzielonej
-
- dep: libgdk-pixbuf-2.0-0 (>= 2.22.0) [nie alpha, hppa, ia64, m68k, sh4, sparc64, x32]
- Biblioteka GDK Pixbuf
-
- dep: libglib2.0-0 (>= 2.12.0) [m68k]
- Biblioteka GLib z funkcjami w języku C - pakiet przejściowy
- dep: libglib2.0-0 (>= 2.36.0) [ppc64]
-
- dep: libglib2.0-0t64 (>= 2.36.0) [amd64, arm64, armhf, i386, ppc64el, riscv64, s390x]
- Glib, biblioteka funkcji języka C
-
- dep: libgtk-3-0 (>= 3.11.5) [ppc64]
- Biblioteka GTK do tworzenia graficznego interfejsu użytkownika
-
- dep: libgtk-3-0t64 (>= 3.11.5) [amd64, arm64, armhf, i386, ppc64el, riscv64, s390x]
- Biblioteka GTK do tworzenia graficznego interfejsu użytkownika
-
- dep: libgtk2.0-0 (>= 2.12.0) [m68k]
- GTK graphical user interface library - old version
-
- dep: libgtksourceview-3.0-1 (>= 2.91.4) [nie alpha, hppa, ia64, m68k, sh4, sparc64, x32]
- shared libraries for the GTK+ syntax highlighting widget
-
- dep: libncurses5 (>= 5.6+20071006-3) [m68k]
- Pakiet niedostępny
-
- dep: libpango-1.0-0 (>= 1.14.0) [nie alpha, hppa, ia64, m68k, sh4, sparc64, x32]
- Rozmieszeczenie i rendering umiędzynarodowionego tekstu
-
- dep: libpango1.0-0 (>= 1.20.2) [m68k]
- Layout and rendering of internationalized text (transitional package)
-
- dep: tex-common (>= 1.10) [m68k]
- Wspólna infrastruktura do budowy i instalacji systemu TeX
Pobieranie coqide
Architektura | Wersja | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|---|
alpha (port nieoficjalny) | 8.12.0-3+b3 | 45,6 KiB | 111,0 KiB | [lista plików] |
amd64 | 8.18.0+dfsg-1+b1 | 1 954,2 KiB | 9 889,0 KiB | [lista plików] |
arm64 | 8.18.0+dfsg-1+b1 | 2 272,0 KiB | 11 381,0 KiB | [lista plików] |
armhf | 8.18.0+dfsg-1+b1 | 1 802,3 KiB | 6 653,0 KiB | [lista plików] |
hppa (port nieoficjalny) | 8.12.0-3+b3 | 45,7 KiB | 111,0 KiB | [lista plików] |
i386 | 8.18.0+dfsg-1+b1 | 1 775,1 KiB | 7 597,0 KiB | [lista plików] |
ia64 (port nieoficjalny) | 8.12.0-3+b3 | 45,6 KiB | 111,0 KiB | [lista plików] |
m68k (port nieoficjalny) | 8.1.pl3+dfsg-1+b2 | 2 363,1 KiB | 8 880,0 KiB | [lista plików] |
ppc64 (port nieoficjalny) | 8.17.0+dfsg-1+b2 | 1 965,5 KiB | 11 675,0 KiB | [lista plików] |
ppc64el | 8.18.0+dfsg-1+b1 | 2 030,4 KiB | 10 613,0 KiB | [lista plików] |
riscv64 | 8.18.0+dfsg-1+b1 | 1 968,6 KiB | 10 397,0 KiB | [lista plików] |
s390x | 8.18.0+dfsg-1+b1 | 1 947,2 KiB | 10 685,0 KiB | [lista plików] |
sh4 (port nieoficjalny) | 8.12.0-3+b3 | 45,6 KiB | 111,0 KiB | [lista plików] |
sparc64 (port nieoficjalny) | 8.12.0-3+b3 | 45,7 KiB | 111,0 KiB | [lista plików] |
x32 (port nieoficjalny) | 8.12.0-3+b3 | 45,6 KiB | 111,0 KiB | [lista plików] |