Paket: libz3-cil (4.4.1-0.3build4)

libz3-cil 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-ocaml-dev
• python-z3
• python3-z3
• libz3-jni
• libz3-dev
• z3
• libz3-4
• libart2.0-cil-dev
• monodoc-http
• libart2.0-cil
• ikvm

libz3-cil ile İlgili Diğer Paketler

• dep: libmono-corlib4.5-cil (>= 4.6.1.3)

  Mono core library (for CLI 4.5)

• dep: libmono-system-numerics4.0-cil (>= 4.6.1.3)

  Mono System.Numerics library (for CLI 4.0)

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

  theorem prover from Microsoft Research - development files

libz3-cil indir