Пакунок: libwhy3-ocaml-dev (1.8.0-2) [debports]

[ Source:  ]

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

  virtual package provided by libmenhir-ocaml-dev

• dep: libstdlib-ocaml-dev-bdrm4

  virtual package provided by libstdlib-ocaml-dev

• dep: libzarith-ocaml-dev-ap2s7

  virtual package provided by libzarith-ocaml-dev

• dep: libzip-ocaml-dev-3hpl7

  virtual package provided by libzip-ocaml-dev

• dep: ocaml-5.3.0

  virtual package provided by ocaml

• dep: tex-common (>= 6.13)

  Загальна інфраструктура для побудови та встановлення TeX

• sug: ocaml-findlib

  management tool for OCaml libraries

Завантажити libwhy3-ocaml-dev

Завантаження для всіх доступних архітектур

Архітектура	Розмір пакунка	Розмір після встановлення	Файли
sparc64 (unofficial port)	7,441.4 kB	10,843.0 kB	[список файлів]