Pakiet: libcoq-core-ocaml-dev (8.15.0+dfsg-2) [universe]

Odnośniki dla libcoq-core-ocaml-dev

Pobieranie pakietu źródłowego coq:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

It should generally not be necessary for users to contact the original maintainer.

dep: coq (= 8.15.0+dfsg-2)

proof assistant for higher-order logic (toplevel and compiler)
dep: libcoq-core-ocaml-alg58 [riscv64]

pakiet wirtualny udostępniany przez libcoq-core-ocaml
dep: libcoq-core-ocaml-aosg1 [amd64]

pakiet wirtualny udostępniany przez libcoq-core-ocaml
dep: libcoq-core-ocaml-nf5u3 [ppc64el]

pakiet wirtualny udostępniany przez libcoq-core-ocaml
dep: libcoq-core-ocaml-rt7d5 [arm64]

pakiet wirtualny udostępniany przez libcoq-core-ocaml
dep: libcoq-core-ocaml-xt866 [s390x]

pakiet wirtualny udostępniany przez libcoq-core-ocaml
dep: libcoq-core-ocaml-zjlv3 [armhf]

pakiet wirtualny udostępniany przez libcoq-core-ocaml
dep: libzarith-ocaml-dev-4dps0 [nie armhf, s390x]

pakiet wirtualny udostępniany przez libzarith-ocaml-dev
dep: libzarith-ocaml-dev-aip06 [armhf]

pakiet wirtualny udostępniany przez libzarith-ocaml-dev
dep: libzarith-ocaml-dev-vtl52 [s390x]

pakiet wirtualny udostępniany przez libzarith-ocaml-dev
dep: ocaml-4.13.1

pakiet wirtualny udostępniany przez ocaml

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	43 980,0 KiB	159 196,0 KiB	[lista plików]
arm64	44 512,7 KiB	159 147,0 KiB	[lista plików]
armhf	44 813,9 KiB	154 442,0 KiB	[lista plików]
ppc64el	44 631,3 KiB	162 080,0 KiB	[lista plików]
riscv64	44 488,3 KiB	158 743,0 KiB	[lista plików]
s390x	44 412,1 KiB	160 637,0 KiB	[lista plików]