Pakket: libwhy3-ocaml-dev (1.6.0-1 en anderen)

Verwijzigingen voor libwhy3-ocaml-dev

Debian bronnen:

Het bronpakket why3 downloaden:

Beheerders:

Externe bronnen:

Homepage [why3.lri.fr]

Vergelijkbare pakketten:

OCaml librariries for why3 (dev)

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

Andere aan libwhy3-ocaml-dev gerelateerde pakketten

depends

recommends

suggests

enhances

dep: libc6 (>= 2.4) [armhf]

GNU C Bibliotheek: Gedeelde bibliotheken
Ook een virtueel pakket geboden door: libc6-udeb
dep: libmenhir-ocaml-dev-jko84 [amd64, arm64, ppc64el, riscv64]

virtueel pakket geboden door libmenhir-ocaml-dev
dep: libmenhir-ocaml-dev-mfft7 [s390x]

virtueel pakket geboden door libmenhir-ocaml-dev
dep: libmenhir-ocaml-dev-u7sc7 [alpha, armel, hppa, ia64, m68k, mips64el, sh4, sparc64]

virtueel pakket geboden door libmenhir-ocaml-dev
dep: libmenhir-ocaml-dev-vdgn2 [x32]

Pakket niet beschikbaar
dep: libmenhir-ocaml-dev-wmy25 [ppc64]

Pakket niet beschikbaar
dep: libmenhir-ocaml-dev-zd7l0 [armhf, i386]

virtueel pakket geboden door libmenhir-ocaml-dev
dep: libnum-ocaml-dev-3st20 [x32]

virtueel pakket geboden door libnum-ocaml-dev
dep: libnum-ocaml-dev-8unq8 [ppc64]

Pakket niet beschikbaar
dep: libnum-ocaml-dev-gltn3 [amd64, arm64, ppc64el, riscv64]

virtueel pakket geboden door libnum-ocaml-dev
dep: libnum-ocaml-dev-kxkf6 [armhf, i386]

virtueel pakket geboden door libnum-ocaml-dev
dep: libnum-ocaml-dev-nobe2 [s390x]

virtueel pakket geboden door libnum-ocaml-dev
dep: libnum-ocaml-dev-nw4m9 [alpha, armel, hppa, ia64, m68k, mips64el, sh4, sparc64]

virtueel pakket geboden door libnum-ocaml-dev
dep: libstdlib-ocaml-dev-058x2 [ppc64el]

virtueel pakket geboden door libstdlib-ocaml-dev
dep: libstdlib-ocaml-dev-1s7q8 [ppc64]

Pakket niet beschikbaar
dep: libstdlib-ocaml-dev-dkl58 [i386]

virtueel pakket geboden door libstdlib-ocaml-dev
dep: libstdlib-ocaml-dev-ep7y0 [amd64]

virtueel pakket geboden door libstdlib-ocaml-dev
dep: libstdlib-ocaml-dev-fyga0 [arm64]

virtueel pakket geboden door libstdlib-ocaml-dev
dep: libstdlib-ocaml-dev-rayz1 [armhf]

virtueel pakket geboden door libstdlib-ocaml-dev
dep: libstdlib-ocaml-dev-rg5q2 [alpha, armel, hppa, ia64, m68k, mips64el, sh4, sparc64]

virtueel pakket geboden door libstdlib-ocaml-dev
dep: libstdlib-ocaml-dev-vjut8 [riscv64]

virtueel pakket geboden door libstdlib-ocaml-dev
dep: libstdlib-ocaml-dev-vneg5 [s390x]

virtueel pakket geboden door libstdlib-ocaml-dev
dep: libzip-ocaml-dev-bs6v4 [ppc64]

Pakket niet beschikbaar
dep: libzip-ocaml-dev-fk4o9 [amd64, arm64, ppc64el, riscv64]

virtueel pakket geboden door libzip-ocaml-dev
dep: libzip-ocaml-dev-gm3w1 [alpha, armel, hppa, ia64, m68k, mips64el, sh4, sparc64]

virtueel pakket geboden door libzip-ocaml-dev
dep: libzip-ocaml-dev-h63g8 [armhf, i386]

virtueel pakket geboden door libzip-ocaml-dev
dep: libzip-ocaml-dev-jmg85 [x32]

Pakket niet beschikbaar
dep: libzip-ocaml-dev-zdrl2 [s390x]

virtueel pakket geboden door libzip-ocaml-dev
dep: ocaml-4.13.1 [ppc64]

virtueel pakket geboden door ocaml
dep: ocaml-4.14.1 [niet ppc64, x32]

virtueel pakket geboden door ocaml
dep: ocaml-nox-4.11.1 [x32]

Pakket niet beschikbaar
dep: tex-common (>= 6.13)

common infrastructure for building and installing TeX

sug: ocaml-findlib

management tool for OCaml libraries

libwhy3-ocaml-dev downloaden

Pakket downloaden voor alle beschikbare platforms
Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
alpha (unofficial port)	1.6.0-1+b5	5.738,8 kB	24.674,0 kB	[overzicht]
amd64	1.6.0-1+b5	10.773,4 kB	50.071,0 kB	[overzicht]
arm64	1.6.0-1+b5	11.423,0 kB	53.857,0 kB	[overzicht]
armel	1.6.0-1+b5	5.739,2 kB	24.674,0 kB	[overzicht]
armhf	1.6.0-1+b5	10.753,2 kB	41.718,0 kB	[overzicht]
hppa (unofficial port)	1.6.0-1+b5	5.736,8 kB	24.674,0 kB	[overzicht]
i386	1.6.0-1+b5	10.436,8 kB	43.151,0 kB	[overzicht]
ia64 (unofficial port)	1.6.0-1+b5	5.743,2 kB	24.674,0 kB	[overzicht]
m68k (unofficial port)	1.6.0-1+b4	5.737,6 kB	24.674,0 kB	[overzicht]
mips64el	1.6.0-1+b5	5.740,4 kB	24.674,0 kB	[overzicht]
ppc64 (unofficial port)	1.6.0-1	10.906,4 kB	55.857,0 kB	[overzicht]
ppc64el	1.6.0-1+b5	11.055,7 kB	54.654,0 kB	[overzicht]
riscv64	1.6.0-1+b6	11.838,1 kB	72.719,0 kB	[overzicht]
s390x	1.6.0-1+b5	10.552,8 kB	49.254,0 kB	[overzicht]
sh4 (unofficial port)	1.6.0-1+b4	5.741,5 kB	24.674,0 kB	[overzicht]
sparc64 (unofficial port)	1.6.0-1+b5	5.739,0 kB	24.674,0 kB	[overzicht]
x32 (unofficial port)	1.3.3-3	5.268,1 kB	22.080,0 kB	[overzicht]