[ sid ]

[ Paquet source : ]

Paquet : libcoq-elpi-dbgsym (2.1.0-1 et autres) [debports]

Liens pour libcoq-elpi-dbgsym

Ressources Debian :

Rapports de bogues

Télécharger le paquet source :

Introuvable

Responsables :

Paquets similaires :

debug symbols for libcoq-elpi

Autres paquets associés à libcoq-elpi-dbgsym

dépendances

recommandations

suggestions

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]

Télécharger libcoq-elpi-dbgsym

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
loong64 (portage non officiel)	2.1.0-1+b3	143,5 ko	702,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	2.1.0-1+b1	134,8 ko	751,0 ko	[liste des fichiers]
riscv64 (portage non officiel)	1.17.1-1+b4	84,7 ko	391,0 ko	[liste des fichiers]