[ sid ]

[ Source: ]

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

Links for libcoq-elpi-dbgsym

Debian-palvelut:

Vikailmoitukset

Imuroi lähdekoodipaketti :

Ei löytynyt

Ylläpitäjät:

Samankaltaisia paketteja:

debug symbols for libcoq-elpi

Muut pakettiin libcoq-elpi-dbgsym liittyvät paketit

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]

Imuroi libcoq-elpi-dbgsym

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
loong64 (epävirallinen siirros)	2.1.0-1+b3	143.5 kt	702.0 kt	[tiedostoluettelo]
ppc64 (epävirallinen siirros)	2.1.0-1+b1	134.8 kt	751.0 kt	[tiedostoluettelo]
riscv64 (epävirallinen siirros)	1.17.1-1+b4	84.7 kt	391.0 kt	[tiedostoluettelo]