packages
[ Pakiet źródłowy: coq ]
Pakiet: coq (8.15.0+dfsg-2) [universe]
Odnośniki dla coq
Zasoby systemu Ubuntu:
Pobieranie pakietu źródłowego coq:
Opiekun:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (Archiwum e-mail)
- Benjamin Barenblat
- Julien Puydt
- Ralf Treinen
- Stéphane Glondu
It should generally not be necessary for users to contact the original maintainer.
Zasoby zewnętrzne:
- Strona internetowa [coq.inria.fr]
Podobne pakiety:
proof assistant for higher-order logic (toplevel and compiler)
Inne pakiety związane z coq
|
|
|
|
-
- dep: libc6 (>= 2.35)
- GNU C Library: Shared libraries
-
- dep: libcoq-core-ocaml-aosg1
- pakiet wirtualny udostępniany przez libcoq-core-ocaml
-
- dep: libcoq-stdlib (= 8.15.0+dfsg-2)
- proof assistant for higher-order logic (theories)
-
- dep: libgmp10 (>= 2:6.2.1+dfsg)
- Multiprecision arithmetic library
-
- dep: libzarith-ocaml-4dps0
- pakiet wirtualny udostępniany przez libzarith-ocaml
-
- dep: ocaml-base-4.13.1
- pakiet wirtualny udostępniany przez ocaml-base
-
- dep: ocaml-findlib
- management tool for OCaml libraries
-
- dep: ocaml-nox
- transitional package for ocaml
-
- dep: python3
- interactive high-level object-oriented language (default python3 version)
-
- sug: coq-doc
- documentation for Coq
-
- sug: coqide
- proof assistant for higher-order logic (gtk interface)
- lub proofgeneral
- generic frontend for proof assistants
-
- sug: ledit
- line editor for interactive programs
- lub readline-editor
- pakiet wirtualny udostępniany przez ledit, rlfe, rlwrap
-
- sug: libcoq-core-ocaml-dev
- development libraries and tools for Coq
-
- sug: why (>= 2.19)
- Pakiet niedostępny
Pobieranie coq
| Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|
| amd64 | 93 157,8 KiB | 304 054,0 KiB | [lista plików] |