noms de paquets descriptions noms de paquets source contenu du paquet toutes les options

[  jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

[ Paquet source : coq  ]

Liens pour libcoq-core-ocaml-dev

Ressources Ubuntu :

• Rapports de bogues
• Journal des modifications Ubuntu
• Fichier de licence

Télécharger le paquet source coq :

• [coq_8.18.0+dfsg-1build2.dsc]
• [coq_8.18.0+dfsg.orig.tar.xz]
• [coq_8.18.0+dfsg-1build2.debian.tar.xz]

Responsable :

• Ubuntu Developers (Archive du courrier électronique)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

• Debian OCaml Maintainers (Archive du courrier électronique)
• Benjamin Barenblat
• Julien Puydt
• Ralf Treinen
• Stéphane Glondu

It should generally not be necessary for users to contact the original maintainer.

Ressources externes :

• Page d'accueil [coq.inria.fr]

Paquets similaires :

• libcoq-core-ocaml
• coqprime-tools
• quickchick
• libcoq-ott
• debian-coq-tools
• libcoq-hammer
• libnetpbm10-dev
• mono-complete
• libnetpbm-dev
• libcoq-dpdgraph
• dh-coq

Autres paquets associés à libcoq-core-ocaml-dev

dépendances

recommandations

suggestions

enhances

• dep: coq (= 8.18.0+dfsg-1build2)

  proof assistant for higher-order logic (toplevel and compiler)

• dep: libcoq-core-ocaml-fg9y1 [amd64]

  paquet virtuel fourni par libcoq-core-ocaml

• dep: libcoq-core-ocaml-gv4e8 [ppc64el]

  paquet virtuel fourni par libcoq-core-ocaml

• dep: libcoq-core-ocaml-lsl44 [s390x]

  paquet virtuel fourni par libcoq-core-ocaml

• dep: libcoq-core-ocaml-ru4g2 [armhf]

  paquet virtuel fourni par libcoq-core-ocaml

• dep: libcoq-core-ocaml-t2nr4 [arm64]

  paquet virtuel fourni par libcoq-core-ocaml

• dep: libcoq-core-ocaml-y3z04 [riscv64]

  paquet virtuel fourni par libcoq-core-ocaml

• dep: libfindlib-ocaml-dev-449z9 [amd64]

  paquet virtuel fourni par libfindlib-ocaml-dev

• dep: libfindlib-ocaml-dev-9adu2 [armhf]

  paquet virtuel fourni par libfindlib-ocaml-dev

• dep: libfindlib-ocaml-dev-f4uj2 [ppc64el]

  paquet virtuel fourni par libfindlib-ocaml-dev

• dep: libfindlib-ocaml-dev-gc4b1 [riscv64]

  paquet virtuel fourni par libfindlib-ocaml-dev

• dep: libfindlib-ocaml-dev-ift94 [arm64]

  paquet virtuel fourni par libfindlib-ocaml-dev

• dep: libfindlib-ocaml-dev-k3zo5 [s390x]

  paquet virtuel fourni par libfindlib-ocaml-dev

• dep: libstdlib-ocaml-dev-ep7y0 [amd64]

  paquet virtuel fourni par libstdlib-ocaml-dev

• dep: libstdlib-ocaml-dev-fee01 [ppc64el]

  paquet virtuel fourni par libstdlib-ocaml-dev

• dep: libstdlib-ocaml-dev-fyga0 [arm64]

  paquet virtuel fourni par libstdlib-ocaml-dev

• dep: libstdlib-ocaml-dev-rayz1 [armhf]

  paquet virtuel fourni par libstdlib-ocaml-dev

• dep: libstdlib-ocaml-dev-vjut8 [riscv64]

  paquet virtuel fourni par libstdlib-ocaml-dev

• dep: libstdlib-ocaml-dev-vneg5 [s390x]

  paquet virtuel fourni par libstdlib-ocaml-dev

• dep: libzarith-ocaml-dev-avzf2 [s390x]

  paquet virtuel fourni par libzarith-ocaml-dev

• dep: libzarith-ocaml-dev-wx6x8 [armhf]

  paquet virtuel fourni par libzarith-ocaml-dev

• dep: libzarith-ocaml-dev-zlfv4 [non armhf, s390x]

  paquet virtuel fourni par libzarith-ocaml-dev

• dep: ocaml-4.14.1

  paquet virtuel fourni par ocaml

Télécharger libcoq-core-ocaml-dev

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	50 203,1 ko	193 581,0 ko	[liste des fichiers]
arm64	50 645,4 ko	197 864,0 ko	[liste des fichiers]
armhf	50 758,6 ko	179 270,0 ko	[liste des fichiers]
ppc64el	51 583,0 ko	205 924,0 ko	[liste des fichiers]
riscv64	57 412,6 ko	272 646,0 ko	[liste des fichiers]
s390x	49 676,5 ko	189 429,0 ko	[liste des fichiers]