packages
[ Bron: coq ]
Pakket: coq (8.15.0+dfsg-2) [universe]
Verwijzigingen voor coq
Ubuntu bronnen:
Het bronpakket coq downloaden:
Beheerder:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (Mailarchief)
- Benjamin Barenblat
- Julien Puydt
- Ralf Treinen
- Stéphane Glondu
It should generally not be necessary for users to contact the original maintainer.
Externe bronnen:
- Homepage [coq.inria.fr]
Vergelijkbare pakketten:
proof assistant for higher-order logic (toplevel and compiler)
Andere aan coq gerelateerde pakketten
|
|
|
|
-
- dep: libc6 (>= 2.34) [riscv64]
- GNU C Library: Shared libraries
- dep: libc6 (>= 2.35) [niet riscv64]
-
- dep: libcoq-core-ocaml-alg58 [riscv64]
- virtueel pakket geboden door libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-aosg1 [amd64]
- virtueel pakket geboden door libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-nf5u3 [ppc64el]
- virtueel pakket geboden door libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-rt7d5 [arm64]
- virtueel pakket geboden door libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-xt866 [s390x]
- virtueel pakket geboden door libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-zjlv3 [armhf]
- virtueel pakket geboden door 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 [niet armhf, s390x]
- virtueel pakket geboden door libzarith-ocaml
-
- dep: libzarith-ocaml-aip06 [armhf]
- virtueel pakket geboden door libzarith-ocaml
-
- dep: libzarith-ocaml-vtl52 [s390x]
- virtueel pakket geboden door libzarith-ocaml
-
- dep: ocaml-base-4.13.1
- virtueel pakket geboden door 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)
- of proofgeneral
- generic frontend for proof assistants
-
- sug: ledit
- line editor for interactive programs
- of readline-editor
- virtueel pakket geboden door ledit, rlfe, rlwrap
-
- sug: libcoq-core-ocaml-dev
- development libraries and tools for Coq
-
- sug: why (>= 2.19)
- Pakket niet beschikbaar
coq downloaden
| Platform | Pakketgrootte | Geïnstalleerde grootte | Bestanden |
|---|---|---|---|
| amd64 | 93.157,8 kB | 304.054,0 kB | [overzicht] |
| arm64 | 104.213,9 kB | 340.701,0 kB | [overzicht] |
| armhf | 91.064,4 kB | 250.947,0 kB | [overzicht] |
| ppc64el | 95.985,7 kB | 322.518,0 kB | [overzicht] |
| riscv64 | 92.714,9 kB | 305.719,0 kB | [overzicht] |
| s390x | 94.912,7 kB | 321.835,0 kB | [overzicht] |