Balík: libz3-ocaml-dev (4.4.1-0.3build4)

Odkazy pre libz3-ocaml-dev

Zdroje Trisquel:

• Install using apturl
• Entry at directory.fsf.org
• Hlásenia chýb
• Changelog
• Autori a licencia

Stiahnuť zdrojový balík z3:

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

Správca:

• Ubuntu Developers (Konferencia)

Original Maintainer:

• Michael Tautschnig

Externé zdroje:

• Domovská stránka [github.com]

Podobné balíky:

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

Ostatné balíky súvisiace s balíkom libz3-ocaml-dev

• dep: libc6 (>= 2.4)

  GNU C Library: Shared libraries
  tiež virtuálny balík poskytovaný balíkom 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

  virtuálny balík poskytovaný balíkom ocaml-nox

• rec: ocaml-findlib

  management tool for OCaml libraries

Stiahnuť libz3-ocaml-dev