Пакунок: libwhy3-ocaml-dev (1.3.3-1 and others)

[ Source: why3  ]

OCaml librariries for why3 (dev)

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

Інші пакунки пов'язані з libwhy3-ocaml-dev

• dep: libc6 (>= 2.4)

  Бібліотека GNU C: спільні бібліотеки
  also a virtual package provided by libc6-udeb

• dep: libmenhir-ocaml-dev-dqkt5

  virtual package provided by libmenhir-ocaml-dev

• dep: libnum-ocaml-dev-hqq52

  virtual package provided by libnum-ocaml-dev

• dep: libzip-ocaml-dev-di399

  virtual package provided by libzip-ocaml-dev

• dep: ocaml-nox-4.11.1

  virtual package provided by ocaml-nox

• dep: tex-common (>= 6.13)

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

• sug: ocaml-findlib

  management tool for OCaml libraries

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

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

Архітектура	Версія	Розмір пакунка	Розмір після встановлення	Файли
armhf	1.3.3-1+b4	9,380.5 kB	37,715.0 kB	[список файлів]