[ sid ]

[ Source: ]

Package: libcoq-reduction-effects-dbgsym (0.1.4-4 and others) [debports]

Links for libcoq-reduction-effects-dbgsym

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

Similar packages:

debug symbols for libcoq-reduction-effects

Other Packages Related to libcoq-reduction-effects-dbgsym

depends

recommends

suggests

enhances

dep: libcoq-reduction-effects (= 0.1.4-4+b2)

reduction effects for Coq

Download libcoq-reduction-effects-dbgsym

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
ppc64 (unofficial port)	0.1.4-4+b2	2.8 kB	18.0 kB	[list of files]
riscv64 (unofficial port)	0.1.4-4+b2	2.9 kB	18.0 kB	[list of files]