Ubuntu – Paket Arama Sonuçları -- libz3-java

» Ubuntu » Paketler » Paket Arama Sonuçları

Search in specific suite: [jammy] [jammy-updates] [jammy-backports] [noble] [noble-updates] [noble-backports] [questing] [questing-updates] [questing-backports] [resolute] [resolute-updates] [resolute-backports] [stonking]

Limit search to a specific architecture: [i386] [amd64] [arm64] [armhf] [ppc64el] [riscv64] [s390x]

tüm takımlar takımının tüm bölümler bölümlerinde ve tüm mimariler mimarilerinde, libz3-java sözünü barındıran paketler aradınız 1 eşleşen paket bulundu.

Tam eşleşmeler

libz3-java Paketi

jammy (22.04LTS) (java): theorem prover from Microsoft Research - java bindings [universe]
4.8.12-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
noble (24.04LTS) (java): theorem prover from Microsoft Research - java bindings [universe]
4.8.12-3.1build1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
questing (25.10) (java): theorem prover from Microsoft Research - java bindings [universe]
4.13.3-1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
resolute (26.04LTS) (java): theorem prover from Microsoft Research - java bindings [universe]
4.13.3-1build1: amd64 arm64 armhf i386 ppc64el riscv64 s390x
stonking (java): theorem prover from Microsoft Research - java bindings [universe]
4.13.3-1.1: amd64 arm64 armhf i386 ppc64el riscv64 s390x