Paquet : libwhy3-ocaml-dev (1.8.0-2 et autres)

[ Paquet source : why3  ]

OCaml librariries for why3 (dev)

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

Autres paquets associés à libwhy3-ocaml-dev

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

  paquet virtuel fourni par libmenhir-ocaml-dev

• dep: libmenhir-ocaml-dev-m8io2 [s390x]

  paquet virtuel fourni par libmenhir-ocaml-dev

• dep: libmenhir-ocaml-dev-ra7h0 [amd64, arm64, ppc64el, riscv64]

  paquet virtuel fourni par libmenhir-ocaml-dev

• dep: libmenhir-ocaml-dev-u7sc7 [ia64, m68k]

  paquet virtuel fourni par libmenhir-ocaml-dev

• dep: libmenhir-ocaml-dev-vdgn2 [x32]

  Paquet indisponible

• dep: libnum-ocaml-dev-3st20 [x32]

  paquet virtuel fourni par libnum-ocaml-dev

• dep: libnum-ocaml-dev-nw4m9 [ia64, m68k]

  paquet virtuel fourni par libnum-ocaml-dev

• dep: libstdlib-ocaml-dev-bdrm4 [non amd64, arm64, ia64, m68k, ppc64el, riscv64, s390x, x32]

  paquet virtuel fourni par libstdlib-ocaml-dev

• dep: libstdlib-ocaml-dev-fxjy5 [amd64, arm64, ppc64el, riscv64]

  paquet virtuel fourni par libstdlib-ocaml-dev

• dep: libstdlib-ocaml-dev-ke4j9 [s390x]

  paquet virtuel fourni par libstdlib-ocaml-dev

• dep: libstdlib-ocaml-dev-rg5q2 [ia64, m68k]

  paquet virtuel fourni par libstdlib-ocaml-dev

• dep: libzarith-ocaml-dev-ap2s7 [non amd64, arm64, ia64, m68k, ppc64el, riscv64, s390x, x32]

  paquet virtuel fourni par libzarith-ocaml-dev

• dep: libzarith-ocaml-dev-f1se9 [amd64, arm64, ppc64el, riscv64]

  paquet virtuel fourni par libzarith-ocaml-dev

• dep: libzarith-ocaml-dev-i2hh0 [s390x]

  paquet virtuel fourni par libzarith-ocaml-dev

• dep: libzip-ocaml-dev-3hpl7 [non amd64, arm64, ia64, m68k, ppc64el, riscv64, s390x, x32]

  paquet virtuel fourni par libzip-ocaml-dev

• dep: libzip-ocaml-dev-gm3w1 [ia64, m68k]

  paquet virtuel fourni par libzip-ocaml-dev

• dep: libzip-ocaml-dev-jmg85 [x32]

  Paquet indisponible

• dep: libzip-ocaml-dev-lf894 [amd64, arm64, ppc64el, riscv64]

  paquet virtuel fourni par libzip-ocaml-dev

• dep: libzip-ocaml-dev-sshg2 [s390x]

  paquet virtuel fourni par libzip-ocaml-dev

• dep: ocaml-4.14.1 [ia64, m68k]

  paquet virtuel fourni par ocaml

• dep: ocaml-5.3.0 [non ia64, m68k, x32]

  paquet virtuel fourni par ocaml

• dep: ocaml-nox-4.11.1 [x32]

  Paquet indisponible

• dep: tex-common (>= 6.13)

  infrastructure commune pour construire et installer TeX

• sug: ocaml-findlib

  management tool for OCaml libraries

Télécharger libwhy3-ocaml-dev

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	1.8.0-2	7 441,6 ko	10 843,0 ko	[liste des fichiers]
amd64	1.8.0-2	12 754,5 ko	39 803,0 ko	[liste des fichiers]
arm64	1.8.0-2	13 365,5 ko	44 045,0 ko	[liste des fichiers]
armel	1.8.0-2	7 441,9 ko	10 843,0 ko	[liste des fichiers]
armhf	1.8.0-2	7 442,0 ko	10 843,0 ko	[liste des fichiers]
hppa (portage non officiel)	1.8.0-2	7 441,9 ko	10 843,0 ko	[liste des fichiers]
i386	1.8.0-2	7 441,7 ko	10 843,0 ko	[liste des fichiers]
ia64 (portage non officiel)	1.6.0-1+b5	5 743,2 ko	24 674,0 ko	[liste des fichiers]
m68k (portage non officiel)	1.6.0-1+b4	5 737,6 ko	24 674,0 ko	[liste des fichiers]
mips64el	1.8.0-2	7 441,6 ko	10 843,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	1.8.0-2	7 441,5 ko	10 843,0 ko	[liste des fichiers]
ppc64el	1.8.0-2	12 962,3 ko	44 573,0 ko	[liste des fichiers]
riscv64	1.8.0-2	14 268,7 ko	68 407,0 ko	[liste des fichiers]
s390x	1.8.0-2	12 475,7 ko	40 393,0 ko	[liste des fichiers]
sh4 (portage non officiel)	1.8.0-2	7 441,8 ko	10 843,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	1.8.0-2	7 441,4 ko	10 843,0 ko	[liste des fichiers]
x32 (portage non officiel)	1.3.3-3	5 268,1 ko	22 080,0 ko	[liste des fichiers]