[ sid ]

[ Bron: ]

Pakket: quickchick-dbgsym (2.0.3-3) [debports]

Verwijzigingen voor quickchick-dbgsym

Debian bronnen:

Probleemrapporten

Het bronpakket downloaden:

Niet gevonden

Beheerders:

Vergelijkbare pakketten:

debug symbols for quickchick

Andere aan quickchick-dbgsym gerelateerde pakketten

depends

recommends

suggests

enhances

dep: quickchick (= 2.0.3-3)

randomized testing framework for Coq (tools)

quickchick-dbgsym downloaden

Pakket downloaden voor alle beschikbare platforms
Platform	Pakketgrootte	Geïnstalleerde grootte	Bestanden
loong64 (unofficial port)	109,8 kB	397,0 kB	[overzicht]
ppc64 (unofficial port)	105,7 kB	407,0 kB	[overzicht]