[ sid ]

[ Paquet source : ]

Paquet : coqprime-tools-dbgsym (8.17-1 et autres) [debports]

Liens pour coqprime-tools-dbgsym

Ressources Debian :

Rapports de bogues

Télécharger le paquet source :

Introuvable

Responsables :

Paquets similaires :

debug symbols for coqprime-tools

Autres paquets associés à coqprime-tools-dbgsym

dépendances

recommandations

suggestions

enhances

dep: coqprime-tools (= 8.17-1+b1)

Primality certification for Coq (tools)

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
riscv64 (portage non officiel)	8.17-1+b1	57,0 ko	88,0 ko	[liste des fichiers]