[ sid ]

[ Source: ]

Package: libcoq-bignums-dbgsym (8.17.0-3 and others) [debports]

Links for libcoq-bignums-dbgsym

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

Similar packages:

debug symbols for libcoq-bignums

Other Packages Related to libcoq-bignums-dbgsym

depends

recommends

suggests

enhances

dep: libcoq-bignums (= 8.17.0-3+b2)

Coq library for big numbers

Download libcoq-bignums-dbgsym

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
ppc64 (unofficial port)	8.17.0-3+b2	3.5 kB	25.0 kB	[list of files]
riscv64 (unofficial port)	8.17.0-3+b2	3.5 kB	24.0 kB	[list of files]