Pakiet: libcoq-ocaml (8.12.0-3 i inne) [debports]
Odnośniki dla libcoq-ocaml
Zasoby systemu Debian:
Pobieranie pakietu źródłowego :
Nie znalezionoOpiekunowie:
Zasoby zewnętrzne:
- Strona internetowa [coq.inria.fr]
Podobne pakiety:
runtime libraries for Coq
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 runtime libraries for Coq.
Inne pakiety związane z libcoq-ocaml
|
|
|
|
-
- dep: libc6 (>= 2.16) [x32]
- Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb
- dep: libc6 (>= 2.2) [hppa, sparc64]
- dep: libc6 (>= 2.31) [sh4]
-
- dep: libc6.1 (>= 2.1.3) [alpha]
- Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6.1-udeb
- dep: libc6.1 (>= 2.31) [ia64]
-
- dep: libcairo2-ocaml-56yq1
- Pakiet niedostępny
-
- dep: liblablgtk3-ocaml-0kl61
- Pakiet niedostępny
-
- dep: liblablgtksourceview3-ocaml-0eup3
- Pakiet niedostępny
-
- dep: libnum-ocaml-3st20
- pakiet wirtualny udostępniany przez libnum-ocaml
-
- dep: ocaml-base-nox-4.11.1
- Pakiet niedostępny
Pobieranie libcoq-ocaml
| Architektura | Wersja | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|---|
| alpha (port nieoficjalny) | 8.12.0-3+b3 | 5 333,0 KiB | 22 945,0 KiB | [lista plików] |
| hppa (port nieoficjalny) | 8.12.0-3+b3 | 5 333,8 KiB | 22 949,0 KiB | [lista plików] |
| ia64 (port nieoficjalny) | 8.12.0-3+b3 | 5 337,5 KiB | 22 974,0 KiB | [lista plików] |
| sh4 (port nieoficjalny) | 8.12.0-3+b3 | 5 334,7 KiB | 22 940,0 KiB | [lista plików] |
| sparc64 (port nieoficjalny) | 8.12.0-3+b3 | 5 331,4 KiB | 22 946,0 KiB | [lista plików] |
| x32 (port nieoficjalny) | 8.12.0-3+b3 | 5 333,5 KiB | 22 947,0 KiB | [lista plików] |