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

Verwijzigingen voor libwhy3-ocaml-dev

Trisquel bronnen:

• Install using apturl
• Entry at directory.fsf.org
• Probleemrapporten
• Changelog
• Copyright-bestand

Het bronpakket why3 downloaden:

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

Beheerder:

• Debian OCaml Maintainers (Mailarchief)

Original Maintainers:

• Debian OCaml Maintainers (Mailarchief)
• Ralf Treinen

Externe bronnen:

• Homepage [why3.lri.fr]

Vergelijkbare pakketten:

• 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

Andere aan libwhy3-ocaml-dev gerelateerde pakketten

• dep: libc6 (>= 2.4)

  GNU C Library: Shared libraries
  Ook een virtueel pakket geboden door: libc6-udeb

• dep: libmenhir-ocaml-dev-42988

  virtueel pakket geboden door libmenhir-ocaml-dev

• dep: libnum-ocaml-dev-ds475

  virtueel pakket geboden door libnum-ocaml-dev

• dep: libzarith-ocaml-dev-yjoo0

  virtueel pakket geboden door libzarith-ocaml-dev

• dep: libzip-ocaml-dev-5ggp2

  virtueel pakket geboden door libzip-ocaml-dev

• dep: ocaml-nox-4.08.1

  virtueel pakket geboden door ocaml-nox

• dep: tex-common (>= 6.13)

  common infrastructure for building and installing TeX

• sug: ocaml-findlib

  management tool for OCaml libraries

libwhy3-ocaml-dev downloaden