Paquet : python3-cvc5-dbgsym (1.1.2-2 et autres) [debports]

[ Paquet source :  ]

debug symbols for python3-cvc5

Autres paquets associés à python3-cvc5-dbgsym

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

  automated theorem prover for SMT problems (Python bindings)

  dep: python3-cvc5 (= 1.1.2-2) [non riscv64]

Télécharger python3-cvc5-dbgsym

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	1.1.2-2	2 445,8 ko	2 735,0 ko	[liste des fichiers]
hppa (portage non officiel)	1.1.2-2	2 397,2 ko	2 672,0 ko	[liste des fichiers]
m68k (portage non officiel)	1.1.2-2	2 247,9 ko	2 506,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	1.1.2-2	2 458,4 ko	2 786,0 ko	[liste des fichiers]
riscv64 (portage non officiel)	1.0.5-3	1 688,4 ko	1 937,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	1.1.2-2	2 398,0 ko	2 688,0 ko	[liste des fichiers]
x32 (portage non officiel)	1.1.2-2	2 470,7 ko	2 752,0 ko	[liste des fichiers]