[ sid ]

[ Zdroj: ]

Balík: libcoq-elpi-dbgsym (2.1.0-1 a iné) [debports]

Odkazy pre libcoq-elpi-dbgsym

Zdroje Debian:

Hlásenia chýb

Stiahnuť zdrojový balík :

Nenájdený

Správcovia:

Podobné balíky:

debug symbols for libcoq-elpi

Ostatné balíky súvisiace s balíkom libcoq-elpi-dbgsym

závisí

odporúča

navrhuje

vylepšuje

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

Coq plugin embedding Elpi

dep: libcoq-elpi (= 2.1.0-1+b1) [ppc64]

dep: libcoq-elpi (= 2.1.0-1+b3) [loong64]

Stiahnuť libcoq-elpi-dbgsym

Stiahnuť pre všetky dostupné architektúry
Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
loong64 (neoficiálny port)	2.1.0-1+b3	143.5 kB	702.0 kB	[zoznam súborov]
ppc64 (neoficiálny port)	2.1.0-1+b1	134.8 kB	751.0 kB	[zoznam súborov]
riscv64 (neoficiálny port)	1.17.1-1+b4	84.7 kB	391.0 kB	[zoznam súborov]