Paquet : lbt-dbgsym (1.2.2-7 et autres) [debports]

Liens pour lbt-dbgsym

Introuvable

dep: lbt (= 1.2.2-7) [non riscv64]

Convertit des formules LTL en automates Büchi

dep: lbt (= 1.2.2-7+b1) [riscv64]

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.2.2-7	198,9 ko	229,0 ko	[liste des fichiers]
hppa (portage non officiel)	1.2.2-7	194,7 ko	221,0 ko	[liste des fichiers]
ia64 (portage non officiel)	1.2.2-7	221,7 ko	252,0 ko	[liste des fichiers]
loong64 (portage non officiel)	1.2.2-7	213,4 ko	243,0 ko	[liste des fichiers]
m68k (portage non officiel)	1.2.2-7	194,0 ko	219,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	1.2.2-7	203,4 ko	235,0 ko	[liste des fichiers]
riscv64 (portage non officiel)	1.2.2-7+b1	187,7 ko	220,0 ko	[liste des fichiers]
sh4 (portage non officiel)	1.2.2-7	169,2 ko	225,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	1.2.2-7	199,4 ko	229,0 ko	[liste des fichiers]
x32 (portage non officiel)	1.2.2-7	194,0 ko	219,0 ko	[liste des fichiers]