Paket: libwhy3-ocaml-dev (1.8.0-1) [debports]

[ Quellcode:  ]

OCaml librariries for why3 (dev)

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

Andere Pakete mit Bezug zu libwhy3-ocaml-dev

• dep: libmenhir-ocaml-dev-rs3l5

  virtuelles Paket, bereitgestellt durch libmenhir-ocaml-dev

• dep: libstdlib-ocaml-dev-bkvu1

  Paket nicht verfügbar

• dep: libzarith-ocaml-dev-9lp69

  virtuelles Paket, bereitgestellt durch libzarith-ocaml-dev

• dep: libzip-ocaml-dev-pthd4

  virtuelles Paket, bereitgestellt durch libzip-ocaml-dev

• dep: ocaml-5.2.0

  Paket nicht verfügbar

• dep: tex-common (>= 6.13)

  Gemeinsame Infrastruktur zum Erstellen und Installieren von TeX

• sug: ocaml-findlib

  Verwaltungswerkzeug für OCaml-Bibliotheken

libwhy3-ocaml-dev herunterladen

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
sh4 (inoffizielle Portierung)	7.426,5 kB	10.830,0 kB	[Liste der Dateien]