Package: elan-dbgsym (3.1.0-1 and others) [debports]

[ Source:  ]

debug symbols for elan

Other Packages Related to elan-dbgsym

• dep: elan (= 1.4.2-3) [x32]

  tool for managing installations of the Lean theorem prover

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

  dep: elan (= 3.1.0-1+b1) [ppc64, sparc64]

Download elan-dbgsym

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
ppc64 (unofficial port)	3.1.0-1+b1	13,538.0 kB	14,911.0 kB	[list of files]
riscv64 (unofficial port)	2.0.0-1	12,360.1 kB	41,995.0 kB	[list of files]
sparc64 (unofficial port)	3.1.0-1+b1	13,013.3 kB	14,620.0 kB	[list of files]
x32 (unofficial port)	1.4.2-3	12,402.0 kB	13,477.0 kB	[list of files]