[ sid ]

[ Bron: ]

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

Verwijzigingen voor metamath-dbgsym

Debian bronnen:

Probleemrapporten

Het bronpakket downloaden:

Niet gevonden

Beheerders:

Vergelijkbare pakketten:

debug symbols for metamath

Andere aan metamath-dbgsym gerelateerde pakketten

depends

recommends

suggests

enhances

dep: metamath (= 0.195-1)

Language for mathematical proofs

metamath-dbgsym downloaden

Pakket downloaden voor alle beschikbare platforms
Platform	Pakketgrootte	Geïnstalleerde grootte	Bestanden
ia64 (unofficial port)	693,8 kB	723,0 kB	[overzicht]