[ sid ]

[ Source: ]

Package: coqprime-tools-dbgsym (8.17-1 and others) [debports]

Links for coqprime-tools-dbgsym

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

Similar packages:

debug symbols for coqprime-tools

Other Packages Related to coqprime-tools-dbgsym

depends

recommends

suggests

enhances

dep: coqprime-tools (= 8.17-1+b1)

Primality certification for Coq (tools)

Download coqprime-tools-dbgsym

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
ppc64 (unofficial port)	8.17-1+b1	58.0 kB	96.0 kB	[list of files]
riscv64 (unofficial port)	8.17-1+b1	57.0 kB	88.0 kB	[list of files]