[ sid ]

[ Quellcode: ]

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

Links für quickchick-dbgsym

Debian-Ressourcen:

Fehlerberichte

Quellcode-Paket herunterladen:

Nicht gefunden

Betreuer:

Ähnliche Pakete:

debug symbols for quickchick

Andere Pakete mit Bezug zu quickchick-dbgsym

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: quickchick (= 2.0.3-3)

randomized testing framework for Coq (tools)

quickchick-dbgsym herunterladen

Download für alle verfügbaren Architekturen
Architektur	Paketgröße	Größe (installiert)	Dateien
loong64 (inoffizielle Portierung)	109,8 kB	397,0 kB	[Liste der Dateien]
ppc64 (inoffizielle Portierung)	105,7 kB	407,0 kB	[Liste der Dateien]