Paket: libwhy3-ocaml-dev (1.5.1-1 och andra)

Länkar för libwhy3-ocaml-dev

Debianresurser:

Hämta källkodspaketet why3:

Ansvariga:

Externa resurser:

Hemsida [why3.lri.fr]

Liknande paket:

OCaml librariries for why3 (dev)

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

Andra paket besläktade med libwhy3-ocaml-dev

beror

rekommenderar

föreslår

enhances

dep: libc6 (>= 2.4) [armhf]

GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av libc6-udeb
dep: libmenhir-ocaml-dev-2l1k5 [s390x]

virtuellt paket som tillhandahålls av libmenhir-ocaml-dev
dep: libmenhir-ocaml-dev-86p89 [armhf, i386]

virtuellt paket som tillhandahålls av libmenhir-ocaml-dev
dep: libmenhir-ocaml-dev-dyfe5 [amd64, arm64, ppc64el]

virtuellt paket som tillhandahålls av libmenhir-ocaml-dev
dep: libmenhir-ocaml-dev-iyb96 [armel, mips64el, mipsel]

virtuellt paket som tillhandahålls av libmenhir-ocaml-dev
dep: libnum-ocaml-dev-8unq8 [s390x]

virtuellt paket som tillhandahålls av libnum-ocaml-dev
dep: libnum-ocaml-dev-bq435 [amd64, arm64, ppc64el]

virtuellt paket som tillhandahålls av libnum-ocaml-dev
dep: libnum-ocaml-dev-jreq3 [armhf, i386]

virtuellt paket som tillhandahålls av libnum-ocaml-dev
dep: libnum-ocaml-dev-o6ae3 [armel, mips64el, mipsel]

virtuellt paket som tillhandahålls av libnum-ocaml-dev
dep: libzip-ocaml-dev-41yb8 [armel, mips64el, mipsel]

virtuellt paket som tillhandahålls av libzip-ocaml-dev
dep: libzip-ocaml-dev-bs6v4 [s390x]

virtuellt paket som tillhandahålls av libzip-ocaml-dev
dep: libzip-ocaml-dev-kj2q1 [amd64, arm64, ppc64el]

virtuellt paket som tillhandahålls av libzip-ocaml-dev
dep: libzip-ocaml-dev-xyxo6 [armhf, i386]

virtuellt paket som tillhandahålls av libzip-ocaml-dev
dep: ocaml-4.13.1

virtuellt paket som tillhandahålls av ocaml
dep: tex-common (>= 6.13)

common infrastructure for building and installing TeX

sug: ocaml-findlib

management tool for OCaml libraries

Hämta libwhy3-ocaml-dev

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
amd64	1.5.1-1+b2	10.400,6 kbyte	48.276,0 kbyte	[filförteckning]
arm64	1.5.1-1+b2	11.003,4 kbyte	51.893,0 kbyte	[filförteckning]
armel	1.5.1-1+b2	5.525,3 kbyte	23.813,0 kbyte	[filförteckning]
armhf	1.5.1-1+b2	10.384,8 kbyte	40.163,0 kbyte	[filförteckning]
i386	1.5.1-1+b2	9.961,7 kbyte	41.562,0 kbyte	[filförteckning]
mips64el	1.5.1-1+b2	5.524,7 kbyte	23.813,0 kbyte	[filförteckning]
mipsel	1.5.1-1+b2	5.525,0 kbyte	23.813,0 kbyte	[filförteckning]
ppc64el	1.5.1-1+b2	10.644,4 kbyte	52.785,0 kbyte	[filförteckning]
s390x	1.5.1-1+b2	10.203,9 kbyte	47.631,0 kbyte	[filförteckning]