Paquet : libcoq-unicoq-dbgsym (1.6-8.19-2 et autres) [debports]

[ Paquet source :  ]

debug symbols for libcoq-unicoq

Autres paquets associés à libcoq-unicoq-dbgsym

• dep: libcoq-unicoq (= 1.6-8.17-1+b2) [riscv64]

  enhanced unification algorithm for Coq

  dep: libcoq-unicoq (= 1.6-8.19-2) [ppc64]

Télécharger libcoq-unicoq-dbgsym

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
ppc64 (portage non officiel)	1.6-8.19-2	19,7 ko	80,0 ko	[liste des fichiers]
riscv64 (portage non officiel)	1.6-8.17-1+b2	17,5 ko	61,0 ko	[liste des fichiers]