Пакунок: libcoq-ocaml (8.12.0-3 and others) [debports]

[ Source:  ]

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.

Інші пакунки пов'язані з libcoq-ocaml

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

  Бібліотека GNU C: спільні бібліотеки
  also a virtual package provided by libc6-udeb

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

  dep: libc6 (>= 2.31) [sh4]

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

  Бібліотека GNU C: спільні бібліотеки
  also a virtual package provided by libc6.1-udeb

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

• dep: libcairo2-ocaml-56yq1

  Пакунок недоступний

• dep: liblablgtk3-ocaml-0kl61

  Пакунок недоступний

• dep: liblablgtksourceview3-ocaml-0eup3

  Пакунок недоступний

• dep: libnum-ocaml-3st20

  virtual package provided by libnum-ocaml

• dep: ocaml-base-nox-4.11.1

  Пакунок недоступний

Завантажити libcoq-ocaml

Завантаження для всіх доступних архітектур

Архітектура	Версія	Розмір пакунка	Розмір після встановлення	Файли
alpha (unofficial port)	8.12.0-3+b3	5,333.0 kB	22,945.0 kB	[список файлів]
hppa (unofficial port)	8.12.0-3+b3	5,333.8 kB	22,949.0 kB	[список файлів]
ia64 (unofficial port)	8.12.0-3+b3	5,337.5 kB	22,974.0 kB	[список файлів]
sh4 (unofficial port)	8.12.0-3+b3	5,334.7 kB	22,940.0 kB	[список файлів]
sparc64 (unofficial port)	8.12.0-3+b3	5,331.4 kB	22,946.0 kB	[список файлів]
x32 (unofficial port)	8.12.0-3+b3	5,333.5 kB	22,947.0 kB	[список файлів]