Pakiet: libcoq-core-ocaml-dev (9.1.0+dfsg-1)

[ Pakiet źródłowy: coq  ]

Pakiet eksperymentalny

Ostrzeżenie: Pakiet pochodzi z dystrybucji eksperymentalnej. Oznacza to, że prawdopodobnie jest niestabilny lub zawiera błędy i może spowodować nawet utratę danych. Przed użyciem pakietu proszę koniecznie zapoznać się z dziennikiem zmian i inną dostępną dokumentacją.

development libraries and tools 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 and libraries needed to develop OCaml-side extensions to Coq.

Inne pakiety związane z libcoq-core-ocaml-dev

• dep: libcompiler-libs-ocaml-dev-4b6d0 [amd64]

  Pakiet niedostępny

• dep: libcompiler-libs-ocaml-dev-gxzm3 [arm64]

  Pakiet niedostępny

• dep: libcompiler-libs-ocaml-dev-i4v37 [ppc64el]

  Pakiet niedostępny

• dep: libcompiler-libs-ocaml-dev-tq1n2 [riscv64]

  Pakiet niedostępny

• dep: libcompiler-libs-ocaml-dev-volk9 [s390x]

  Pakiet niedostępny

• dep: libcoq-core-ocaml-3d0o2 [ppc64el]

  pakiet wirtualny udostępniany przez libcoq-core-ocaml

• dep: libcoq-core-ocaml-501i1 [s390x]

  pakiet wirtualny udostępniany przez libcoq-core-ocaml

• dep: libcoq-core-ocaml-9jks7 [riscv64]

  pakiet wirtualny udostępniany przez libcoq-core-ocaml

• dep: libcoq-core-ocaml-qojm9 [arm64]

  pakiet wirtualny udostępniany przez libcoq-core-ocaml

• dep: libcoq-core-ocaml-rqof7 [amd64]

  pakiet wirtualny udostępniany przez libcoq-core-ocaml

• dep: libfindlib-ocaml-dev-8k3o3 [amd64]

  Pakiet niedostępny

• dep: libfindlib-ocaml-dev-eitb4 [riscv64]

  Pakiet niedostępny

• dep: libfindlib-ocaml-dev-itlb4 [ppc64el]

  Pakiet niedostępny

• dep: libfindlib-ocaml-dev-svhk3 [s390x]

  Pakiet niedostępny

• dep: libfindlib-ocaml-dev-vaiw6 [arm64]

  Pakiet niedostępny

• dep: libstdlib-ocaml-dev-2d5j3 [s390x]

  Pakiet niedostępny

• dep: libstdlib-ocaml-dev-m4xw9 [nie s390x]

  Pakiet niedostępny

• dep: libzarith-ocaml-dev-2ofb9 [s390x]

  Pakiet niedostępny

• dep: libzarith-ocaml-dev-h79v1 [nie s390x]

  Pakiet niedostępny

• dep: ocaml-5.3.0

  Pakiet niedostępny

Pobieranie libcoq-core-ocaml-dev

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	69 304,8 KiB	135 131,0 KiB	[lista plików]
arm64	69 177,5 KiB	136 575,0 KiB	[lista plików]
ppc64el	69 997,3 KiB	145 717,0 KiB	[lista plików]
riscv64	74 189,0 KiB	215 175,0 KiB	[lista plików]
s390x	68 781,7 KiB	132 826,0 KiB	[lista plików]