Balík: libcoq-ocaml (8.12.0-3 a iné) [debports]

[ Zdroj:  ]

dynamické knižnice pre Coq

Coq je asistent dôkazov logiky vyššieho rádu, ktorý umožňuje vývoj počítačových programov v súlade s ich formálnou špecifikáciou. Bol vyvinutý pomocou Objective Caml a Camlp5.

Tento balík poskytuje dynamické knižnice pre Coq.

Ostatné balíky súvisiace s balíkom libcoq-ocaml

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

  knižnica GNU C - zdieľané knižnice
  tiež virtuálny balík poskytovaný balíkom libc6-udeb

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

  dep: libc6 (>= 2.31) [sh4]

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

  knižnica GNU C - zdieľané knižnice
  tiež virtuálny balík poskytovaný balíkom libc6.1-udeb

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

• dep: libcairo2-ocaml-56yq1

  Balík nie je dostupný

• dep: liblablgtk3-ocaml-0kl61

  Balík nie je dostupný

• dep: liblablgtksourceview3-ocaml-0eup3

  Balík nie je dostupný

• dep: libnum-ocaml-3st20

  virtuálny balík poskytovaný balíkom libnum-ocaml

• dep: ocaml-base-nox-4.11.1

  Balík nie je dostupný

Stiahnuť libcoq-ocaml

Stiahnuť pre všetky dostupné architektúry

Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
alpha (neoficiálny port)	8.12.0-3+b3	5,333.0 kB	22,945.0 kB	[zoznam súborov]
hppa (neoficiálny port)	8.12.0-3+b3	5,333.8 kB	22,949.0 kB	[zoznam súborov]
ia64 (neoficiálny port)	8.12.0-3+b3	5,337.5 kB	22,974.0 kB	[zoznam súborov]
sh4 (neoficiálny port)	8.12.0-3+b3	5,334.7 kB	22,940.0 kB	[zoznam súborov]
sparc64 (neoficiálny port)	8.12.0-3+b3	5,331.4 kB	22,946.0 kB	[zoznam súborov]
x32 (neoficiálny port)	8.12.0-3+b3	5,333.5 kB	22,947.0 kB	[zoznam súborov]