[ sid ]

[ Bron: ]

Pakket: libcoq-elpi-dbgsym (2.1.0-1 en anderen) [debports]

Verwijzigingen voor libcoq-elpi-dbgsym

Debian bronnen:

Probleemrapporten

Het bronpakket downloaden:

Niet gevonden

Beheerders:

Vergelijkbare pakketten:

debug symbols for libcoq-elpi

Andere aan libcoq-elpi-dbgsym gerelateerde pakketten

depends

recommends

suggests

enhances

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]

libcoq-elpi-dbgsym downloaden

Pakket downloaden voor alle beschikbare platforms
Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
loong64 (unofficial port)	2.1.0-1+b3	143,5 kB	702,0 kB	[overzicht]
ppc64 (unofficial port)	2.1.0-1+b1	134,8 kB	751,0 kB	[overzicht]
riscv64 (unofficial port)	1.17.1-1+b4	84,7 kB	391,0 kB	[overzicht]