Пакет: libwhy3-ocaml-dev (0.88.3-1ubuntu4)

Връзки за libwhy3-ocaml-dev

Ресурси за Trisquel:

• Install using apturl
• Entry at directory.fsf.org
• Доклади за грешки
• Changelog
• Авторски права

Изтегляне на пакет-източник why3.

• [why3_0.88.3-1ubuntu4.dsc]
• [why3_0.88.3.orig.tar.gz]
• [why3_0.88.3-1ubuntu4.debian.tar.xz]

Отговорник:

• Ubuntu Developers (Пощенски архив)

Original Maintainers:

• Debian OCaml Maintainers (Пощенски архив)
• Ralf Treinen

Външни препратки:

• Начална страница [why3.lri.fr]

Подобни пакети:

• why3-coq
• why3-doc-html
• why3-doc-pdf
• why3
• libgmp-ocaml-dev
• libeliom-ocaml-dev
• libocamlnet-ocaml-dev
• why
• libansi-terminal-ocaml-dev
• libzarith-ocaml-dev
• libocsigenserver-ocaml-dev

Други пакети, свързани с libwhy3-ocaml-dev

• dep: libmenhir-ocaml-dev-vvop0

  виртуален пакет, предлаган от libmenhir-ocaml-dev

• dep: libzarith-ocaml-dev-rntd0

  виртуален пакет, предлаган от libzarith-ocaml-dev

• dep: libzip-ocaml-dev-moa44

  виртуален пакет, предлаган от libzip-ocaml-dev

• dep: ocaml-nox-4.05.0

  виртуален пакет, предлаган от ocaml-nox

• dep: tex-common (>= 6)

  common infrastructure for building and installing TeX

Изтегляне на libwhy3-ocaml-dev