[ sid ]
Paquet : libcoq-ocaml-dbgsym (8.12.0-3 et autres) [debports]
Liens pour libcoq-ocaml-dbgsym
Ressources Debian :
Télécharger le paquet source :
IntrouvableResponsables :
Paquets similaires :
debug symbols for libcoq-ocaml
Autres paquets associés à libcoq-ocaml-dbgsym
|
|
|
|
-
- dep: libcoq-ocaml (= 8.12.0-3+b3)
- bibliothèques d'exécution pour Coq
Télécharger libcoq-ocaml-dbgsym
Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|---|
sparc64 (portage non officiel) | 8.12.0-3+b3 | 35,5 ko | 52,0 ko | [liste des fichiers] |