Pakiet: libwhy3-ocaml-dev (1.2.1-6)

Odnośniki dla libwhy3-ocaml-dev

Zasoby systemu Trisquel:

• Install using apturl
• Entry at directory.fsf.org
• Raporty o błędach
• Changelog
• Informacje nt. praw autorskich

Pobieranie pakietu źródłowego why3:

• [why3_1.2.1-6.dsc]
• [why3_1.2.1.orig.tar.gz]
• [why3_1.2.1-6.debian.tar.xz]

Opiekun:

• Debian OCaml Maintainers (Archiwum e-mail)

Original Maintainers:

• Debian OCaml Maintainers (Archiwum e-mail)
• Ralf Treinen

Zasoby zewnętrzne:

• Strona internetowa [why3.lri.fr]

Podobne pakiety:

• 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

Inne pakiety związane z libwhy3-ocaml-dev

• dep: libc6 (>= 2.4) [armhf]

  GNU C Library: Shared libraries
  również pakiet wirtualny udostępniany przez libc6-udeb

• dep: libmenhir-ocaml-dev-42988 [armhf]

  pakiet wirtualny udostępniany przez libmenhir-ocaml-dev

• dep: libmenhir-ocaml-dev-5r792 [amd64]

  pakiet wirtualny udostępniany przez libmenhir-ocaml-dev

• dep: libnum-ocaml-dev-ds475 [armhf]

  pakiet wirtualny udostępniany przez libnum-ocaml-dev

• dep: libnum-ocaml-dev-f5qg6 [amd64]

  pakiet wirtualny udostępniany przez libnum-ocaml-dev

• dep: libzarith-ocaml-dev-gs683 [amd64]

  pakiet wirtualny udostępniany przez libzarith-ocaml-dev

• dep: libzarith-ocaml-dev-yjoo0 [armhf]

  pakiet wirtualny udostępniany przez libzarith-ocaml-dev

• dep: libzip-ocaml-dev-5ggp2 [armhf]

  pakiet wirtualny udostępniany przez libzip-ocaml-dev

• dep: libzip-ocaml-dev-x6zq1 [amd64]

  pakiet wirtualny udostępniany przez libzip-ocaml-dev

• dep: ocaml-nox-4.08.1

  pakiet wirtualny udostępniany przez ocaml-nox

• dep: tex-common (>= 6.13)

  common infrastructure for building and installing TeX

• sug: ocaml-findlib

  management tool for OCaml libraries

Pobieranie libwhy3-ocaml-dev