Paket: elan-dbgsym (3.1.1-2 ve diğerleri) [debports]

elan-dbgsym için bağlantılar

Bulunamadı

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

tool for managing installations of the Lean theorem prover

dep: elan (= 3.1.1-2) [riscv64 değil]

Tüm mevcut mimariler için indir
Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
ppc64 (resmi olmayan port)	3.1.1-2	14.570,1 kB	15.933,0 kB	[dosya listesi]
riscv64 (resmi olmayan port)	2.0.0-1	12.360,1 kB	41.995,0 kB	[dosya listesi]
sparc64 (resmi olmayan port)	3.1.1-2	14.022,9 kB	15.613,0 kB	[dosya listesi]
x32 (resmi olmayan port)	3.1.1-2	14.729,8 kB	15.950,0 kB	[dosya listesi]