[ sid ]

[ Pakiet źródłowy: ]

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

Odnośniki dla quickchick-dbgsym

Zasoby systemu Debian:

Raporty o błędach

Pobieranie pakietu źródłowego :

Nie znaleziono

Opiekunowie:

Podobne pakiety:

debug symbols for quickchick

Inne pakiety związane z quickchick-dbgsym

wymaga

poleca

sugeruje

enhances

dep: quickchick (= 2.0.3-3)

randomized testing framework for Coq (tools)

Pobieranie quickchick-dbgsym

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
loong64 (port nieoficjalny)	109,8 KiB	397,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	105,7 KiB	407,0 KiB	[lista plików]