[ sid ]

[ Source: ]

Package: libcoq-core-ocaml-dbgsym (8.19.1+dfsg-3) [debports]

Links for libcoq-core-ocaml-dbgsym

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

Similar packages:

debug symbols for libcoq-core-ocaml

Other Packages Related to libcoq-core-ocaml-dbgsym

depends

recommends

suggests

enhances

dep: libcoq-core-ocaml (= 8.19.1+dfsg-3)

runtime libraries for Coq

Download libcoq-core-ocaml-dbgsym

Download for all available architectures
Architecture	Package Size	Installed Size	Files
loong64 (unofficial port)	2,171.2 kB	7,684.0 kB	[list of files]