Paquet : libcoq-core-ocaml (8.16.1+dfsg-1 et autres)

[ Paquet source : coq  ]

bibliothèques d'exécution pour Coq

Coq est un assistant de preuve pour la logique d'ordre supérieur, qui permet le développement de programmes d'ordinateur correspondant à une spécification formelle. Il est développé en Objective Caml et Camlp5.

Ce paquet fournit les bibliothèques d'exécution pour Coq.

Autres paquets associés à libcoq-core-ocaml

• dep: libc6 (>= 2.17) [arm64, ppc64el]

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6-udeb

  dep: libc6 (>= 2.4) [non arm64, ppc64el]

• dep: libfindlib-ocaml-0thr1 [amd64]

  paquet virtuel fourni par libfindlib-ocaml

• dep: libfindlib-ocaml-3yei3 [armhf]

  paquet virtuel fourni par libfindlib-ocaml

• dep: libfindlib-ocaml-85sc9 [i386]

  paquet virtuel fourni par libfindlib-ocaml

• dep: libfindlib-ocaml-9bk70 [ppc64el]

  paquet virtuel fourni par libfindlib-ocaml

• dep: libfindlib-ocaml-dhcd7 [s390x]

  paquet virtuel fourni par libfindlib-ocaml

• dep: libfindlib-ocaml-unji9 [arm64]

  paquet virtuel fourni par libfindlib-ocaml

• dep: libzarith-ocaml-4dps0 [amd64, arm64, ppc64el]

  paquet virtuel fourni par libzarith-ocaml

• dep: libzarith-ocaml-aip06 [armhf, i386]

  paquet virtuel fourni par libzarith-ocaml

• dep: libzarith-ocaml-vtl52 [s390x]

  paquet virtuel fourni par libzarith-ocaml

• dep: ocaml-base-4.13.1

  paquet virtuel fourni par ocaml-base

• sug: ocaml-findlib

  management tool for OCaml libraries

Télécharger libcoq-core-ocaml

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

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	8.16.1+dfsg-1+b2	22 027,4 ko	81 507,0 ko	[liste des fichiers]
arm64	8.16.1+dfsg-1+b2	22 551,8 ko	87 397,0 ko	[liste des fichiers]
armhf	8.16.1+dfsg-1+b2	21 737,6 ko	72 665,0 ko	[liste des fichiers]
i386	8.16.1+dfsg-1+b2	21 237,5 ko	76 428,0 ko	[liste des fichiers]
ppc64el	8.16.1+dfsg-1+b2	22 090,2 ko	85 410,0 ko	[liste des fichiers]
s390x	8.16.1+dfsg-1+b2	22 089,8 ko	84 126,0 ko	[liste des fichiers]