Search in specific suite: [ecne] [ecne-updates] [ecne-security] [ecne-backports] [aramo] [aramo-updates] [aramo-security] [aramo-backports]
Szukaj we wszystkich gałęziach
Limit search to a specific architecture: [i386] [amd64] [armhf] [arm64] [ppc64el] [riscv64]
Niektóre wyniki nie zostały wyświetlone w związku z parametrami wyszukiwania.
Szukano pakietów których nazwy zawierają python3-z3 w gałęzi: aramo, wszystkich sekcjach i wszystkich architekturach. Liczba pasujących pakietów: 1.
Dokładne dopasowania
Pakiet python3-z3
- aramo (python):
theorem prover from Microsoft Research - Python 3 bindings
4.8.12-1: amd64 arm64 armhf i386 ppc64el