Je ne sais pas vraiment quel est son status officiel.
Je cherchais les symboles de debogage associés à gcc avec un simple "apt search xx | grep dbg" et impossible de les trouver, au cours de mes recherches j'ai fini par tomber sur ce repo.
Les paquets de symboles que je cherchait y sont présent, ainsi que plein d'autres, et à jour avec debian sid, donc je suppose qu'ils sont activement maintenus.
[^] # Re: Quelques astuces, oui :)
Posté par moi1392 . En réponse au journal Merci Debian ! Des heures de perdues en installant une nouvelle carte graphique !. Évalué à 2.
Je ne sais pas vraiment quel est son status officiel.
Je cherchais les symboles de debogage associés à gcc avec un simple "apt search xx | grep dbg" et impossible de les trouver, au cours de mes recherches j'ai fini par tomber sur ce repo.
Les paquets de symboles que je cherchait y sont présent, ainsi que plein d'autres, et à jour avec debian sid, donc je suppose qu'ils sont activement maintenus.