[ sid ]

[ Source: ]

Package: metamath-dbgsym (0.195-1) [debports]

Links for metamath-dbgsym

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

Similar packages:

debug symbols for metamath

Other Packages Related to metamath-dbgsym

depends

recommends

suggests

enhances

dep: metamath (= 0.195-1)

Language for mathematical proofs

Download metamath-dbgsym

Download for all available architectures
Architecture	Package Size	Installed Size	Files
ia64 (unofficial port)	693.8 kB	723.0 kB	[list of files]