Paket: libcoq-core-ocaml-dbgsym (8.17.0+dfsg-1 och andra) [debports]

[ Källkod:  ]

debug symbols for libcoq-core-ocaml

Andra paket besläktade med libcoq-core-ocaml-dbgsym

• dep: libcoq-core-ocaml (= 8.17.0+dfsg-1+b2)

  runtime libraries for Coq

Hämta libcoq-core-ocaml-dbgsym

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
ppc64 (inofficiell anpassning)	8.17.0+dfsg-1+b2	1.654,5 kbyte	6.827,0 kbyte	[filförteckning]