Paket: libz3-ocaml-dev (4.4.1-0.3build4)

Links für libz3-ocaml-dev

Trisquel-Ressourcen:

• Install using apturl
• Entry at directory.fsf.org
• Fehlerberichte
• Changelog
• Copyright-Datei

Quellcode-Paket z3 herunterladen:

• [z3_4.4.1-0.3build4.dsc]
• [z3_4.4.1.orig.tar.gz]
• [z3_4.4.1-0.3build4.debian.tar.xz]

Betreuer:

• Ubuntu Developers (E-Mail-Archiv)

Original Maintainer:

• Michael Tautschnig

Externe Ressourcen:

• Homepage [github.com]

Ähnliche Pakete:

• libz3-cil
• python-z3
• python3-z3
• libz3-jni
• libz3-dev
• z3
• libz3-4
• libcvc3-5-java
• libcvc3-5-jni
• cvc3
• libcvc3-5v5

Andere Pakete mit Bezug zu libz3-ocaml-dev

• dep: libc6 (>= 2.4)

  GNU C Library: Shared libraries
  auch ein virtuelles Paket, bereitgestellt durch libc6-udeb

• dep: libz3-4

  theorem prover from Microsoft Research - runtime libraries

• dep: libz3-dev (= 4.4.1-0.3build4)

  theorem prover from Microsoft Research - development files

• dep: ocaml-nox-4.05.0

  virtuelles Paket, bereitgestellt durch ocaml-nox

• rec: ocaml-findlib

  management tool for OCaml libraries

libz3-ocaml-dev herunterladen