Pakiet: libcoq-core-ocaml (8.19.1+dfsg-3 i inne)

[ Pakiet źródłowy: coq  ]

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.

Inne pakiety związane z libcoq-core-ocaml

• dep: libc6 (>= 2.17) [arm64]

  Biblioteka GNU C: biblioteki współdzielone
  również pakiet wirtualny udostępniany przez libc6-udeb

  dep: libc6 (>= 2.22) [ppc64el]

  dep: libc6 (>= 2.27) [riscv64]

  dep: libc6 (>= 2.4) [amd64, ppc64, s390x]

• dep: libfindlib-ocaml-0ne56 [amd64]

  pakiet wirtualny udostępniany przez libfindlib-ocaml

• dep: libfindlib-ocaml-7zo87 [s390x]

  pakiet wirtualny udostępniany przez libfindlib-ocaml

• dep: libfindlib-ocaml-9l3r6 [riscv64]

  pakiet wirtualny udostępniany przez libfindlib-ocaml

• dep: libfindlib-ocaml-huq36 [ppc64el]

  pakiet wirtualny udostępniany przez libfindlib-ocaml

• dep: libfindlib-ocaml-l8hb7 [ppc64]

  Pakiet niedostępny

• dep: libfindlib-ocaml-s9ic8 [arm64]

  pakiet wirtualny udostępniany przez libfindlib-ocaml

• dep: libstdlib-ocaml-0d647 [arm64]

  pakiet wirtualny udostępniany przez libstdlib-ocaml

• dep: libstdlib-ocaml-2a614 [ppc64el]

  pakiet wirtualny udostępniany przez libstdlib-ocaml

• dep: libstdlib-ocaml-7l663 [amd64]

  pakiet wirtualny udostępniany przez libstdlib-ocaml

• dep: libstdlib-ocaml-gats1 [ppc64]

  Pakiet niedostępny

• dep: libstdlib-ocaml-r1af2 [s390x]

  pakiet wirtualny udostępniany przez libstdlib-ocaml

• dep: libstdlib-ocaml-vvst5 [riscv64]

  pakiet wirtualny udostępniany przez libstdlib-ocaml

• dep: libzarith-ocaml-avzf2 [ppc64]

  Pakiet niedostępny

• dep: libzarith-ocaml-lfk68 [s390x]

  pakiet wirtualny udostępniany przez libzarith-ocaml

• dep: libzarith-ocaml-mtsj7 [nie ppc64, s390x]

  pakiet wirtualny udostępniany przez libzarith-ocaml

• dep: ocaml-base-4.14.1 [ppc64]

  pakiet wirtualny udostępniany przez ocaml-base

• dep: ocaml-base-5.2.0 [nie ppc64]

  pakiet wirtualny udostępniany przez ocaml-base

• sug: ocaml-findlib

  Narzędzie zarządzające bibliotekami OCaml

Pobieranie libcoq-core-ocaml

Pobierz dla wszystkich dostępnych architektur

Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	8.19.1+dfsg-3+b2	24 478,4 KiB	59 069,0 KiB	[lista plików]
arm64	8.19.1+dfsg-3+b2	24 879,3 KiB	65 091,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	8.19.1+dfsg-3	22 818,6 KiB	91 125,0 KiB	[lista plików]
ppc64el	8.19.1+dfsg-3+b3	24 496,7 KiB	63 367,0 KiB	[lista plików]
riscv64	8.19.1+dfsg-3+b2	24 543,5 KiB	60 878,0 KiB	[lista plików]
s390x	8.19.1+dfsg-3+b2	24 506,8 KiB	63 357,0 KiB	[lista plików]