Pakiet: libwhy3-ocaml-dev (1.8.0-2 i inne)

Odnośniki dla libwhy3-ocaml-dev

Zasoby systemu Debian:

Pobieranie pakietu źródłowego why3:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [why3.lri.fr]

Podobne pakiety:

OCaml librariries for why3 (dev)

This package contains the libraries of the why3 verification platform for developing applications using why3.

Inne pakiety związane z libwhy3-ocaml-dev

wymaga

poleca

sugeruje

enhances

dep: libmenhir-ocaml-dev-47jc5 [nie amd64, arm64, ia64, m68k, ppc64el, riscv64, s390x, x32]

pakiet wirtualny udostępniany przez libmenhir-ocaml-dev
dep: libmenhir-ocaml-dev-m8io2 [s390x]

pakiet wirtualny udostępniany przez libmenhir-ocaml-dev
dep: libmenhir-ocaml-dev-ra7h0 [amd64, arm64, ppc64el, riscv64]

pakiet wirtualny udostępniany przez libmenhir-ocaml-dev
dep: libmenhir-ocaml-dev-u7sc7 [ia64, m68k]

pakiet wirtualny udostępniany przez libmenhir-ocaml-dev
dep: libmenhir-ocaml-dev-vdgn2 [x32]

Pakiet niedostępny
dep: libnum-ocaml-dev-3st20 [x32]

pakiet wirtualny udostępniany przez libnum-ocaml-dev
dep: libnum-ocaml-dev-nw4m9 [ia64, m68k]

pakiet wirtualny udostępniany przez libnum-ocaml-dev
dep: libstdlib-ocaml-dev-bdrm4 [nie amd64, arm64, ia64, m68k, ppc64el, riscv64, s390x, x32]

pakiet wirtualny udostępniany przez libstdlib-ocaml-dev
dep: libstdlib-ocaml-dev-fxjy5 [amd64, arm64, ppc64el, riscv64]

pakiet wirtualny udostępniany przez libstdlib-ocaml-dev
dep: libstdlib-ocaml-dev-ke4j9 [s390x]

pakiet wirtualny udostępniany przez libstdlib-ocaml-dev
dep: libstdlib-ocaml-dev-rg5q2 [ia64, m68k]

pakiet wirtualny udostępniany przez libstdlib-ocaml-dev
dep: libzarith-ocaml-dev-ap2s7 [nie amd64, arm64, ia64, m68k, ppc64el, riscv64, s390x, x32]

pakiet wirtualny udostępniany przez libzarith-ocaml-dev
dep: libzarith-ocaml-dev-f1se9 [amd64, arm64, ppc64el, riscv64]

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

pakiet wirtualny udostępniany przez libzarith-ocaml-dev
dep: libzip-ocaml-dev-3hpl7 [nie amd64, arm64, ia64, m68k, ppc64el, riscv64, s390x, x32]

pakiet wirtualny udostępniany przez libzip-ocaml-dev
dep: libzip-ocaml-dev-gm3w1 [ia64, m68k]

pakiet wirtualny udostępniany przez libzip-ocaml-dev
dep: libzip-ocaml-dev-jmg85 [x32]

Pakiet niedostępny
dep: libzip-ocaml-dev-lf894 [amd64, arm64, ppc64el, riscv64]

pakiet wirtualny udostępniany przez libzip-ocaml-dev
dep: libzip-ocaml-dev-sshg2 [s390x]

pakiet wirtualny udostępniany przez libzip-ocaml-dev
dep: ocaml-4.14.1 [ia64, m68k]

pakiet wirtualny udostępniany przez ocaml
dep: ocaml-5.3.0 [nie ia64, m68k, x32]

pakiet wirtualny udostępniany przez ocaml
dep: ocaml-nox-4.11.1 [x32]

Pakiet niedostępny
dep: tex-common (>= 6.13)

Wspólna infrastruktura do budowy i instalacji systemu TeX

sug: ocaml-findlib

Narzędzie zarządzające bibliotekami OCaml

Pobieranie libwhy3-ocaml-dev

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	1.8.0-2	7 441,6 KiB	10 843,0 KiB	[lista plików]
amd64	1.8.0-2	12 754,5 KiB	39 803,0 KiB	[lista plików]
arm64	1.8.0-2	13 365,5 KiB	44 045,0 KiB	[lista plików]
armel	1.8.0-2	7 441,9 KiB	10 843,0 KiB	[lista plików]
armhf	1.8.0-2	7 442,0 KiB	10 843,0 KiB	[lista plików]
hppa (port nieoficjalny)	1.8.0-2	7 441,9 KiB	10 843,0 KiB	[lista plików]
i386	1.8.0-2	7 441,7 KiB	10 843,0 KiB	[lista plików]
ia64 (port nieoficjalny)	1.6.0-1+b5	5 743,2 KiB	24 674,0 KiB	[lista plików]
m68k (port nieoficjalny)	1.6.0-1+b4	5 737,6 KiB	24 674,0 KiB	[lista plików]
mips64el	1.8.0-2	7 441,6 KiB	10 843,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	1.8.0-2	7 441,5 KiB	10 843,0 KiB	[lista plików]
ppc64el	1.8.0-2	12 962,3 KiB	44 573,0 KiB	[lista plików]
riscv64	1.8.0-2	14 268,7 KiB	68 407,0 KiB	[lista plików]
s390x	1.8.0-2	12 475,7 KiB	40 393,0 KiB	[lista plików]
sh4 (port nieoficjalny)	1.8.0-2	7 441,8 KiB	10 843,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	1.8.0-2	7 441,4 KiB	10 843,0 KiB	[lista plików]
x32 (port nieoficjalny)	1.3.3-3	5 268,1 KiB	22 080,0 KiB	[lista plików]