Paquet : coqprime-tools-dbgsym (8.19-2 et autres) [debports]

[ Paquet source :  ]

debug symbols for coqprime-tools

Autres paquets associés à coqprime-tools-dbgsym

• dep: coqprime-tools (= 8.17-1+b1) [riscv64]

  Primality certification for Coq (tools)

  dep: coqprime-tools (= 8.19-2) [non riscv64]

Télécharger coqprime-tools-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)	8.19-2	57,8 ko	88,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	8.19-2	58,1 ko	96,0 ko	[liste des fichiers]
riscv64 (portage non officiel)	8.17-1+b1	57,0 ko	88,0 ko	[liste des fichiers]