Balík: libcoq-ocaml (8.12.0-3 a iné) [debports]
Odkazy pre libcoq-ocaml
Zdroje Debian:
Stiahnuť zdrojový balík :
NenájdenýSprávcovia:
Externé zdroje:
- Domovská stránka [coq.inria.fr]
Podobné balíky:
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)
- knižnica GNU C - zdieľané knižnice
tiež virtuálny balík poskytovaný balíkom libc6-udeb
-
- 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
| Architektúra | Verzia | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
|---|---|---|---|---|
| x32 (neoficiálny port) | 8.12.0-3+b3 | 5,333.5 kB | 22,947.0 kB | [zoznam súborov] |