Paquet : libcoq-core-ocaml-dev (9.1.0+dfsg-1)

[ Paquet source : coq  ]

Paquet « expérimental »

Avertissement : ce paquet appartient à la distribution expérimentale. Cela signifie qu'il peut être instable ou bogué et peut éventuellement causer des pertes de données. Assurez-vous de consulter le journal des modifications (changelog) et les autres documentations existantes avant de l'utiliser.

development libraries and tools 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 and libraries needed to develop OCaml-side extensions to Coq.

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

• dep: libcompiler-libs-ocaml-dev-4b6d0 [amd64]

  Paquet indisponible

• dep: libcompiler-libs-ocaml-dev-gxzm3 [arm64]

  Paquet indisponible

• dep: libcompiler-libs-ocaml-dev-i4v37 [ppc64el]

  Paquet indisponible

• dep: libcompiler-libs-ocaml-dev-tq1n2 [riscv64]

  Paquet indisponible

• dep: libcompiler-libs-ocaml-dev-volk9 [s390x]

  Paquet indisponible

• dep: libcoq-core-ocaml-3d0o2 [ppc64el]

  paquet virtuel fourni par libcoq-core-ocaml

• dep: libcoq-core-ocaml-501i1 [s390x]

  paquet virtuel fourni par libcoq-core-ocaml

• dep: libcoq-core-ocaml-9jks7 [riscv64]

  paquet virtuel fourni par libcoq-core-ocaml

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

  paquet virtuel fourni par libcoq-core-ocaml

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

  paquet virtuel fourni par libcoq-core-ocaml

• dep: libfindlib-ocaml-dev-8k3o3 [amd64]

  Paquet indisponible

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

  Paquet indisponible

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

  Paquet indisponible

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

  Paquet indisponible

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

  Paquet indisponible

• dep: libstdlib-ocaml-dev-2d5j3 [s390x]

  Paquet indisponible

• dep: libstdlib-ocaml-dev-m4xw9 [non s390x]

  Paquet indisponible

• dep: libzarith-ocaml-dev-2ofb9 [s390x]

  Paquet indisponible

• dep: libzarith-ocaml-dev-h79v1 [non s390x]

  Paquet indisponible

• dep: ocaml-5.3.0

  Paquet indisponible

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	69 304,8 ko	135 131,0 ko	[liste des fichiers]
arm64	69 177,5 ko	136 575,0 ko	[liste des fichiers]
ppc64el	69 997,3 ko	145 717,0 ko	[liste des fichiers]
riscv64	74 189,0 ko	215 175,0 ko	[liste des fichiers]
s390x	68 781,7 ko	132 826,0 ko	[liste des fichiers]