Paket: elan-dbgsym (3.1.1-2 och andra) [debports]

Länkar för elan-dbgsym

Hittades ej

dep: elan (= 2.0.0-1) [riscv64]

tool for managing installations of the Lean theorem prover

dep: elan (= 3.1.1-2) [ej riscv64]

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
ppc64 (inofficiell anpassning)	3.1.1-2	14.570,1 kbyte	15.933,0 kbyte	[filförteckning]
riscv64 (inofficiell anpassning)	2.0.0-1	12.360,1 kbyte	41.995,0 kbyte	[filförteckning]
sparc64 (inofficiell anpassning)	3.1.1-2	14.022,9 kbyte	15.613,0 kbyte	[filförteckning]
x32 (inofficiell anpassning)	3.1.1-2	14.729,8 kbyte	15.950,0 kbyte	[filförteckning]