Package: rumur-dbgsym (2025.02.02-1 and others) [debports]

[ Source:  ]

debug symbols for rumur

Other Packages Related to rumur-dbgsym

• dep: rumur (= 2023.05.21-1) [riscv64]

  model checker for the Murphi language

  dep: rumur (= 2023.11.27-1) [ia64, sh4]

  dep: rumur (= 2025.02.02-1) [not ia64, riscv64, sh4]

Download rumur-dbgsym

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	2025.02.02-1	20,962.6 kB	27,987.0 kB	[list of files]
hppa (unofficial port)	2025.02.02-1	15,388.9 kB	21,580.0 kB	[list of files]
ia64 (unofficial port)	2023.11.27-1	14,417.9 kB	15,499.0 kB	[list of files]
loong64 (unofficial port)	2025.02.02-1	20,863.5 kB	27,536.0 kB	[list of files]
m68k (unofficial port)	2025.02.02-1	12,659.1 kB	18,853.0 kB	[list of files]
ppc64 (unofficial port)	2025.02.02-1	16,085.3 kB	24,441.0 kB	[list of files]
riscv64 (unofficial port)	2023.05.21-1	13,130.0 kB	14,225.0 kB	[list of files]
sh4 (unofficial port)	2023.11.27-1	8,939.6 kB	10,138.0 kB	[list of files]
sparc64 (unofficial port)	2025.02.02-1	20,071.9 kB	26,637.0 kB	[list of files]
x32 (unofficial port)	2025.02.02-1	20,665.2 kB	23,299.0 kB	[list of files]