Package: libwhy3-ocaml-dev (1.2.0-1)

[ Source: why3  ]

librerie OCaml per why3 (sviluppo)

Questo pacchetto contiene le librerie della piattaforma di verifica why3 per sviluppare applicazioni che usano why3.

Other Packages Related to libwhy3-ocaml-dev

• dep: libc6 (>= 2.4)

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6-udeb

• dep: libmenhir-ocaml-dev-2dq95

  virtual package provided by libmenhir-ocaml-dev

• dep: libzarith-ocaml-dev-433l0

  virtual package provided by libzarith-ocaml-dev

• dep: libzip-ocaml-dev-moa44

  virtual package provided by libzip-ocaml-dev

• dep: ocaml-nox-4.05.0

  virtual package provided by ocaml-nox

• dep: tex-common (>= 6)

  infrastruttura comune per compilare e installare TeX

• sug: ocaml-findlib

  strumento di gestione per librerie Ocaml

Download libwhy3-ocaml-dev

Download for all available architectures

Architecture	Package Size	Installed Size	Files
armhf	7,728.1 kB	31,609.0 kB	[list of files]