Пакет: libwhy3-ocaml-dev (1.8.0-2) [debports]

[ Источник:  ]

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

  виртуальный пакет, предоставляемый libmenhir-ocaml-dev

• dep: libstdlib-ocaml-dev-bdrm4

  виртуальный пакет, предоставляемый libstdlib-ocaml-dev

• dep: libzarith-ocaml-dev-ap2s7

  виртуальный пакет, предоставляемый libzarith-ocaml-dev

• dep: libzip-ocaml-dev-3hpl7

  виртуальный пакет, предоставляемый libzip-ocaml-dev

• dep: ocaml-5.3.0

  виртуальный пакет, предоставляемый ocaml

• dep: tex-common (>= 6.13)

  инфраструктура для сборки и установки TeX

• sug: ocaml-findlib

  management tool for OCaml libraries

Загрузка libwhy3-ocaml-dev

Загрузить для всех доступных архитектур

Архитектура	Размер пакета	В установленном виде	Файлы
alpha (неофициальный перенос)	7 441,6 Кб	10 843,0 Кб	[список файлов]