Paketti: python3-cvc5-dbgsym (1.3.2-1 ja muut) [debports]

[ Source:  ]

debug symbols for python3-cvc5

Muut pakettiin python3-cvc5-dbgsym liittyvät paketit

• dep: python3-cvc5 (= 1.0.5-3) [riscv64]

  automated theorem prover for SMT problems (Python bindings)

  dep: python3-cvc5 (= 1.1.2-2+b3) [hppa]

  dep: python3-cvc5 (= 1.1.2-3) [loong64, x32]

  dep: python3-cvc5 (= 1.3.2-1) [alpha, m68k, ppc64, sparc64]

Imuroi python3-cvc5-dbgsym

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
alpha (epävirallinen siirros)	1.3.2-1	1,306.8 kt	1,616.0 kt	[tiedostoluettelo]
hppa (epävirallinen siirros)	1.1.2-2+b3	2,465.2 kt	2,736.0 kt	[tiedostoluettelo]
loong64 (epävirallinen siirros)	1.1.2-3	2,562.1 kt	2,861.0 kt	[tiedostoluettelo]
m68k (epävirallinen siirros)	1.3.2-1	1,277.1 kt	1,547.0 kt	[tiedostoluettelo]
ppc64 (epävirallinen siirros)	1.3.2-1	1,287.5 kt	1,628.0 kt	[tiedostoluettelo]
riscv64 (epävirallinen siirros)	1.0.5-3	1,688.4 kt	1,937.0 kt	[tiedostoluettelo]
sparc64 (epävirallinen siirros)	1.3.2-1	1,261.0 kt	1,567.0 kt	[tiedostoluettelo]
x32 (epävirallinen siirros)	1.1.2-3	2,562.0 kt	2,847.0 kt	[tiedostoluettelo]