套件：libwhy3-ocaml-dev（1.8.0-2）

[ 原始碼： why3  ]

OCaml librariries for why3 (dev)

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

其他與 libwhy3-ocaml-dev 有關的套件

• dep: libmenhir-ocaml-dev-47jc5 [armel, armhf, i386, mips64el]

  本虛擬套件由這些套件填實： libmenhir-ocaml-dev

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

  本虛擬套件由這些套件填實： libmenhir-ocaml-dev

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

  本虛擬套件由這些套件填實： libmenhir-ocaml-dev

• dep: libstdlib-ocaml-dev-bdrm4 [armel, armhf, i386, mips64el]

  本虛擬套件由這些套件填實： libstdlib-ocaml-dev

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

  本虛擬套件由這些套件填實： libstdlib-ocaml-dev

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

  本虛擬套件由這些套件填實： libstdlib-ocaml-dev

• dep: libzarith-ocaml-dev-ap2s7 [armel, armhf, i386, mips64el]

  本虛擬套件由這些套件填實： libzarith-ocaml-dev

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

  本虛擬套件由這些套件填實： libzarith-ocaml-dev

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

  本虛擬套件由這些套件填實： libzarith-ocaml-dev

• dep: libzip-ocaml-dev-3hpl7 [armel, armhf, i386, mips64el]

  本虛擬套件由這些套件填實： libzip-ocaml-dev

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

  本虛擬套件由這些套件填實： libzip-ocaml-dev

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

  本虛擬套件由這些套件填實： libzip-ocaml-dev

• dep: ocaml-5.3.0

  本虛擬套件由這些套件填實： ocaml

• dep: tex-common (>= 6.13)

  common infrastructure for building and installing TeX

• sug: ocaml-findlib

  management tool for OCaml libraries

下載 libwhy3-ocaml-dev

下載可用於所有硬體架構的

硬體架構	套件大小	安裝後大小	檔案
amd64	12，754。5 kB	39，803。0 kB	[檔案列表]
arm64	13，365。5 kB	44，045。0 kB	[檔案列表]
armel	7，441。9 kB	10，843。0 kB	[檔案列表]
armhf	7，442。0 kB	10，843。0 kB	[檔案列表]
i386	7，441。7 kB	10，843。0 kB	[檔案列表]
mips64el	7，441。6 kB	10，843。0 kB	[檔案列表]
ppc64el	12，962。3 kB	44，573。0 kB	[檔案列表]
riscv64	14，268。7 kB	68，407。0 kB	[檔案列表]
s390x	12，475。7 kB	40，393。0 kB	[檔案列表]