[ sid ]

[ Source: ]

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

Links for quickchick-dbgsym

Debian-palvelut:

Vikailmoitukset

Imuroi lähdekoodipaketti :

Ei löytynyt

Ylläpitäjät:

Samankaltaisia paketteja:

debug symbols for quickchick

Muut pakettiin quickchick-dbgsym liittyvät paketit

depends

recommends

suggests

enhances

dep: quickchick (= 2.0.3-3)

randomized testing framework for Coq (tools)

Imuroi quickchick-dbgsym

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
loong64 (epävirallinen siirros)	109.8 kt	397.0 kt	[tiedostoluettelo]
ppc64 (epävirallinen siirros)	105.7 kt	407.0 kt	[tiedostoluettelo]