[ sid ]

[ Source: ]

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

Links for quickchick-dbgsym

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

Similar packages:

debug symbols for quickchick

Other Packages Related to quickchick-dbgsym

depends

recommends

suggests

enhances

dep: quickchick (= 2.0.3-3)

randomized testing framework for Coq (tools)

Download quickchick-dbgsym

Download for all available architectures
Architecture	Package Size	Installed Size	Files
loong64 (unofficial port)	109.8 kB	397.0 kB	[list of files]
ppc64 (unofficial port)	105.7 kB	407.0 kB	[list of files]