Pakiet: libcoq-ocaml (8.12.0-3 i inne) [debports]

[ Pakiet źródłowy:  ]

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.

Inne pakiety związane z libcoq-ocaml

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

  Biblioteka GNU C: biblioteki współdzielone
  również pakiet wirtualny udostępniany przez libc6-udeb

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

  dep: libc6 (>= 2.31) [sh4]

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

  Biblioteka GNU C: biblioteki współdzielone
  również pakiet wirtualny udostępniany przez libc6.1-udeb

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

• dep: libcairo2-ocaml-56yq1

  Pakiet niedostępny

• dep: liblablgtk3-ocaml-0kl61

  Pakiet niedostępny

• dep: liblablgtksourceview3-ocaml-0eup3

  Pakiet niedostępny

• dep: libnum-ocaml-3st20

  pakiet wirtualny udostępniany przez libnum-ocaml

• dep: ocaml-base-nox-4.11.1

  Pakiet niedostępny

Pobieranie libcoq-ocaml

Pobierz dla wszystkich dostępnych architektur

Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	8.12.0-3+b3	5 333,0 KiB	22 945,0 KiB	[lista plików]
hppa (port nieoficjalny)	8.12.0-3+b3	5 333,8 KiB	22 949,0 KiB	[lista plików]
ia64 (port nieoficjalny)	8.12.0-3+b3	5 337,5 KiB	22 974,0 KiB	[lista plików]
sh4 (port nieoficjalny)	8.12.0-3+b3	5 334,7 KiB	22 940,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	8.12.0-3+b3	5 331,4 KiB	22 946,0 KiB	[lista plików]
x32 (port nieoficjalny)	8.12.0-3+b3	5 333,5 KiB	22 947,0 KiB	[lista plików]