Paketti: libcoq-elpi-dbgsym (1.17.1-1 ja muut) [debports]

[ Source:  ]

debug symbols for libcoq-elpi

Muut pakettiin libcoq-elpi-dbgsym liittyvät paketit

• dep: libcoq-elpi (= 1.17.1-1+b4) [riscv64]

  Coq plugin embedding Elpi

  dep: libcoq-elpi (= 1.17.1-1+b8) [ppc64]

Imuroi libcoq-elpi-dbgsym

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
ppc64 (epävirallinen siirros)	1.17.1-1+b8	77.7 kt	403.0 kt	[tiedostoluettelo]
riscv64 (epävirallinen siirros)	1.17.1-1+b4	84.7 kt	391.0 kt	[tiedostoluettelo]