[ aramo ]
[ Pakiet źródłowy: coq ]
Pakiet: libcoq-core-ocaml (8.15.0+dfsg-2)
Odnośniki dla libcoq-core-ocaml
Zasoby systemu Trisquel:
- Install using apturl
- Entry at directory.fsf.org
- Raporty o błędach
- Changelog
- Informacje nt. praw autorskich
Pobieranie pakietu źródłowego coq:
Opiekun:
Original Maintainers:
- Debian OCaml Maintainers (Archiwum e-mail)
- Benjamin Barenblat
- Julien Puydt
- Ralf Treinen
- Stéphane Glondu
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-core-ocaml
|
|
|
-
- dep: libc6 (>= 2.17) [arm64, ppc64el]
- GNU C Library: Shared libraries
również pakiet wirtualny udostępniany przez libc6-udeb
- dep: libc6 (>= 2.4) [amd64, armhf]
-
- dep: libzarith-ocaml-4dps0 [nie armhf]
- pakiet wirtualny udostępniany przez libzarith-ocaml
-
- dep: libzarith-ocaml-aip06 [armhf]
- pakiet wirtualny udostępniany przez libzarith-ocaml
-
- dep: ocaml-base-4.13.1
- pakiet wirtualny udostępniany przez ocaml-base
-
- sug: ocaml-findlib
- management tool for OCaml libraries
Pobieranie libcoq-core-ocaml
| Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|
| amd64 | 26 435,9 KiB | 80483 KiB | [lista plików] |
| arm64 | 27 732,1 KiB | 85593 KiB | [lista plików] |
| armhf | 26 324,3 KiB | 72104 KiB | [lista plików] |
| ppc64el | 26 786,2 KiB | 86448 KiB | [lista plików] |