Paket: libwhy3-ocaml-dev (1.7.2-2 ve diğerleri) [debports]

[ Kaynak:  ]

OCaml librariries for why3 (dev)

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

libwhy3-ocaml-dev ile İlgili Diğer Paketler

• dep: libmenhir-ocaml-dev-rs3l5

  sanal paketi sağlayan libmenhir-ocaml-dev

• dep: libnum-ocaml-dev-wtyx6

  sanal paketi sağlayan libnum-ocaml-dev

• dep: libstdlib-ocaml-dev-bkvu1

  sanal paketi sağlayan libstdlib-ocaml-dev

• dep: libzip-ocaml-dev-pthd4

  sanal paketi sağlayan libzip-ocaml-dev

• dep: ocaml-5.2.0

  sanal paketi sağlayan ocaml

• dep: tex-common (>= 6.13)

  common infrastructure for building and installing TeX

• sug: ocaml-findlib

  management tool for OCaml libraries

libwhy3-ocaml-dev indir

Tüm mevcut mimariler için indir

Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
ppc64 (resmi olmayan port)	1.7.2-2+b2	7.179,8 kB	10.465,0 kB	[dosya listesi]