Balík: libcoq-core-ocaml (9.1.0+dfsg-1)

Odkazy pre libcoq-core-ocaml

Zdroje Debian:

Stiahnuť zdrojový balík coq:

Správcovia:

Externé zdroje:

Domovská stránka [coq.inria.fr]

Podobné balíky:

Experimentálny balík

Upozornenie: Tento balík pochádza z distribúcie experimental. To znamená, že je pravdepodobne nestabilný alebo môže dokonca spôsobiť stratu údajov. Predtým, než ho začnete používať sa prosím pozrite do záznamu zmien a ďalšej možnej dokumentácie.

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-core-ocaml

závisí

odporúča

navrhuje

vylepšuje

dep: libc6 (>= 2.17) [arm64]

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

dep: libc6 (>= 2.22) [ppc64el]

dep: libc6 (>= 2.27) [riscv64]

dep: libc6 (>= 2.3) [amd64, s390x]
dep: libfindlib-ocaml-8k3o3 [amd64]

Balík nie je dostupný
dep: libfindlib-ocaml-eitb4 [riscv64]

Balík nie je dostupný
dep: libfindlib-ocaml-itlb4 [ppc64el]

Balík nie je dostupný
dep: libfindlib-ocaml-svhk3 [s390x]

Balík nie je dostupný
dep: libfindlib-ocaml-vaiw6 [arm64]

Balík nie je dostupný
dep: libstdlib-ocaml-2d5j3 [s390x]

Balík nie je dostupný
dep: libstdlib-ocaml-m4xw9 [nie s390x]

Balík nie je dostupný
dep: libzarith-ocaml-2ofb9 [s390x]

Balík nie je dostupný
dep: libzarith-ocaml-h79v1 [nie s390x]

Balík nie je dostupný
dep: ocaml-base-5.3.0

Balík nie je dostupný

sug: ocaml-findlib

nástroj na správu knižníc OCaml

Stiahnuť libcoq-core-ocaml

Stiahnuť pre všetky dostupné architektúry
Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
amd64	26,199.5 kB	61,856.0 kB	[zoznam súborov]
arm64	26,658.0 kB	68,433.0 kB	[zoznam súborov]
ppc64el	26,245.0 kB	66,577.0 kB	[zoznam súborov]
riscv64	26,289.5 kB	63,749.0 kB	[zoznam súborov]
s390x	26,258.9 kB	66,401.0 kB	[zoznam súborov]