[ sid ]

[ Source: ]

Package: rumur-dbgsym (2023.11.27-1) [debports]

Links for rumur-dbgsym

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

Similar packages:

debug symbols for rumur

Other Packages Related to rumur-dbgsym

depends

recommends

suggests

enhances

dep: rumur (= 2023.11.27-1)

model checker for the Murphi language

Download rumur-dbgsym

Download for all available architectures
Architecture	Package Size	Installed Size	Files
sh4 (unofficial port)	8,939.6 kB	10,138.0 kB	[list of files]