Pakket: libwhy3-ocaml-dev (1.7.2-2 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: libmenhir-ocaml-dev-7ewm9 [amd64, arm64, ppc64el, riscv64]

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

virtueel pakket geboden door libmenhir-ocaml-dev
dep: libmenhir-ocaml-dev-rs3l5 [armel, armhf, i386, mips64el]

virtueel pakket geboden door libmenhir-ocaml-dev
dep: libnum-ocaml-dev-ru7b2 [amd64, arm64, ppc64el, riscv64]

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

virtueel pakket geboden door libnum-ocaml-dev
dep: libnum-ocaml-dev-wtyx6 [armel, armhf, i386, mips64el]

virtueel pakket geboden door libnum-ocaml-dev
dep: libstdlib-ocaml-dev-0d647 [arm64]

virtueel pakket geboden door libstdlib-ocaml-dev
dep: libstdlib-ocaml-dev-2a614 [ppc64el]

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

virtueel pakket geboden door libstdlib-ocaml-dev
dep: libstdlib-ocaml-dev-bkvu1 [armel, armhf, i386, mips64el]

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

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

virtueel pakket geboden door libstdlib-ocaml-dev
dep: libzip-ocaml-dev-33ac4 [s390x]

virtueel pakket geboden door libzip-ocaml-dev
dep: libzip-ocaml-dev-4nfl0 [amd64, arm64, ppc64el, riscv64]

virtueel pakket geboden door libzip-ocaml-dev
dep: libzip-ocaml-dev-sqvl5 [armel, armhf, i386, mips64el]

virtueel pakket geboden door libzip-ocaml-dev
dep: ocaml-5.2.0

virtueel pakket geboden door ocaml
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
amd64	1.7.2-2+b1	12.293,2 kB	38.389,0 kB	[overzicht]
arm64	1.7.2-2+b1	12.898,4 kB	42.461,0 kB	[overzicht]
armel	1.7.2-2+b1	7.179,0 kB	10.464,0 kB	[overzicht]
armhf	1.7.2-2+b1	7.178,7 kB	10.464,0 kB	[overzicht]
i386	1.7.2-2+b1	7.179,0 kB	10.464,0 kB	[overzicht]
mips64el	1.7.2-2+b1	7.179,6 kB	10.465,0 kB	[overzicht]
ppc64el	1.7.2-2+b1	12.484,0 kB	43.026,0 kB	[overzicht]
riscv64	1.7.2-2+b1	13.696,3 kB	65.942,0 kB	[overzicht]
s390x	1.7.2-2+b1	12.008,9 kB	38.943,0 kB	[overzicht]