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

libz3-ocaml-dev için bağlantılar

Trisquel Kaynakları:

• Install using apturl
• Entry at directory.fsf.org
• Hata Raporları
• Changelog
• Telif Hakkı Dosyası

z3 Kaynak Paketini İndir:

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

Geliştirici:

• Ubuntu Developers (Posta Arşivi)

Original Maintainer:

• Michael Tautschnig

Dış Kaynaklar:

• Ana Sayfa [github.com]

Benzer paketler:

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

libz3-ocaml-dev ile İlgili Diğer Paketler

• dep: libc6 (>= 2.4)

  GNU C Library: Shared libraries
  ayrıca şunun tarafından sağlanan bir sanal paket 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

  sanal paketi sağlayan ocaml-nox

• rec: ocaml-findlib

  management tool for OCaml libraries

libz3-ocaml-dev indir