» Ubuntu » Paketler » noble (24.04LTS) » libs » libz3-4

[ jammy ] [ noble ] [ questing ] [ resolute ] [ stonking ]

[ Kaynak: z3 ]

Paket: libz3-4 (4.8.12-3.1build1) [universe]

libz3-4 için bağlantılar

Ubuntu Kaynakları:

z3 Kaynak Paketini İndir:

Geliştirici:

Ubuntu Developers (Posta Arşivi)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

LLVM Packaging Team (Posta Arşivi)
Fabian Wolff

It should generally not be necessary for users to contact the original maintainer.

Dış Kaynaklar:

Ana Sayfa [github.com]

Benzer paketler:

theorem prover from Microsoft Research - runtime libraries

libz3-4 ile İlgili Diğer Paketler

bağımlılıklar

tavsiye edilen

önerilen

enhances

dep: libatomic1 (>= 4.8) [riscv64]

support library providing __atomic built-in functions
dep: libc6 (>= 2.38)

GNU C Library: Shared libraries
dep: libgcc-s1 (>= 3.3.1) [arm64, ppc64el, s390x]

GCC support library

dep: libgcc-s1 (>= 3.4) [amd64, riscv64]

dep: libgcc-s1 (>= 3.5) [armhf]

dep: libgcc-s1 (>= 7) [i386]
dep: libstdc++6 (>= 13.1)

GNU Standard C++ Library v3

libz3-4 indir

Tüm mevcut mimariler için indir
Mimari	Paket Boyutu	Kurulu Boyut	Dosyalar
amd64	5.699,4 kB	15.763,0 kB	[dosya listesi]
arm64	5.363,5 kB	14.759,0 kB	[dosya listesi]
armhf	6.927,1 kB	14.484,0 kB	[dosya listesi]
i386	8.407,3 kB	25.436,0 kB	[dosya listesi]
ppc64el	6.022,7 kB	19.175,0 kB	[dosya listesi]
riscv64	8.036,6 kB	21.031,0 kB	[dosya listesi]
s390x	6.354,6 kB	17.599,0 kB	[dosya listesi]