[ sid ]
Paquet : libcoq-paramcoq-dbgsym (1.1.3+coq8.17-2) [debports]
Liens pour libcoq-paramcoq-dbgsym
Ressources Debian :
Télécharger le paquet source :
IntrouvableResponsables :
Paquets similaires :
- libclang1-16t64-dbgsym
- libclang1-17t64-dbgsym
- libclang1-18-dbgsym
- libcmdliner-ocaml-dev-dbgsym
- libcohttp-lwt-jsoo-ocaml-dbgsym
- libcohttp-lwt-ocaml-dbgsym
- libcohttp-lwt-unix-ocaml-dbgsym
- libcohttp-lwt-unix-ocaml-dev-dbgsym
- libcohttp-ocaml-dbgsym
- libconduit-lwt-ocaml-dbgsym
- libconfig-file-ocaml-dev-dbgsym
debug symbols for libcoq-paramcoq
Autres paquets associés à libcoq-paramcoq-dbgsym
|
|
|
|
-
- dep: libcoq-paramcoq (= 1.1.3+coq8.17-2)
- Coq plugin to generate parametricity statements
Télécharger libcoq-paramcoq-dbgsym
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| riscv64 (portage non officiel) | 11,7 ko | 86,0 ko | [liste des fichiers] |