[ sid ]
Paket: libcoq-core-ocaml-dbgsym (8.19.1+dfsg-3 und andere) [debports]
Links für libcoq-core-ocaml-dbgsym
Debian-Ressourcen:
Quellcode-Paket herunterladen:
Nicht gefundenBetreuer:
Ähnliche Pakete:
debug symbols for libcoq-core-ocaml
Andere Pakete mit Bezug zu libcoq-core-ocaml-dbgsym
|
|
|
|
-
- dep: libcoq-core-ocaml (= 8.17.0+dfsg-1+b2) [riscv64]
- runtime libraries for Coq
- dep: libcoq-core-ocaml (= 8.19.1+dfsg-3) [nicht riscv64]
libcoq-core-ocaml-dbgsym herunterladen
| Architektur | Version | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|---|
| loong64 (inoffizielle Portierung) | 8.19.1+dfsg-3 | 2.171,2 kB | 7.684,0 kB | [Liste der Dateien] |
| ppc64 (inoffizielle Portierung) | 8.19.1+dfsg-3 | 2.029,9 kB | 8.247,0 kB | [Liste der Dateien] |
| riscv64 (inoffizielle Portierung) | 8.17.0+dfsg-1+b2 | 1.779,8 kB | 6.583,0 kB | [Liste der Dateien] |