Paquet : libwhy3-ocaml-dev (1.8.0-2) [debports]

[ Paquet source :  ]

OCaml librariries for why3 (dev)

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

Autres paquets associés à libwhy3-ocaml-dev

• dep: libmenhir-ocaml-dev-47jc5

  paquet virtuel fourni par libmenhir-ocaml-dev

• dep: libstdlib-ocaml-dev-bdrm4

  paquet virtuel fourni par libstdlib-ocaml-dev

• dep: libzarith-ocaml-dev-ap2s7

  paquet virtuel fourni par libzarith-ocaml-dev

• dep: libzip-ocaml-dev-3hpl7

  paquet virtuel fourni par libzip-ocaml-dev

• dep: ocaml-5.3.0

  paquet virtuel fourni par ocaml

• dep: tex-common (>= 6.13)

  infrastructure commune pour construire et installer TeX

• sug: ocaml-findlib

  management tool for OCaml libraries

Télécharger libwhy3-ocaml-dev

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
sparc64 (portage non officiel)	7 441,4 ko	10 843,0 ko	[liste des fichiers]