Pakket: libcoq-ocaml (8.12.0-3 en anderen) [debports]

[ Bron:  ]

runtime libraries 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 runtime libraries for Coq.

Andere aan libcoq-ocaml gerelateerde pakketten

• dep: libc6 (>= 2.16) [x32]

  GNU C Bibliotheek: Gedeelde bibliotheken
  Ook een virtueel pakket geboden door: libc6-udeb

  dep: libc6 (>= 2.2) [hppa, sparc64]

  dep: libc6 (>= 2.31) [sh4]

• dep: libc6.1 (>= 2.1.3) [alpha]

  GNU C Bibliotheek: Gedeelde bibliotheken
  Ook een virtueel pakket geboden door: libc6.1-udeb

  dep: libc6.1 (>= 2.31) [ia64]

• dep: libcairo2-ocaml-56yq1

  Pakket niet beschikbaar

• dep: liblablgtk3-ocaml-0kl61

  Pakket niet beschikbaar

• dep: liblablgtksourceview3-ocaml-0eup3

  Pakket niet beschikbaar

• dep: libnum-ocaml-3st20

  virtueel pakket geboden door libnum-ocaml

• dep: ocaml-base-nox-4.11.1

  Pakket niet beschikbaar

libcoq-ocaml downloaden

Pakket downloaden voor alle beschikbare platforms

Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
alpha (unofficial port)	8.12.0-3+b3	5.333,0 kB	22.945,0 kB	[overzicht]
hppa (unofficial port)	8.12.0-3+b3	5.333,8 kB	22.949,0 kB	[overzicht]
ia64 (unofficial port)	8.12.0-3+b3	5.337,5 kB	22.974,0 kB	[overzicht]
sh4 (unofficial port)	8.12.0-3+b3	5.334,7 kB	22.940,0 kB	[overzicht]
sparc64 (unofficial port)	8.12.0-3+b3	5.331,4 kB	22.946,0 kB	[overzicht]
x32 (unofficial port)	8.12.0-3+b3	5.333,5 kB	22.947,0 kB	[overzicht]