[ sid ]
Paket: coq-dbgsym (8.17.0+dfsg-1 und andere) [debports]
Links für coq-dbgsym
Debian-Ressourcen:
Quellcode-Paket herunterladen:
Nicht gefundenBetreuer:
Ähnliche Pakete:
debug symbols for coq
Andere Pakete mit Bezug zu coq-dbgsym
|
|
|
|
-
- dep: coq (= 8.17.0+dfsg-1+b2)
- Beweis-Assistent für Logik höherer Ordnung (Toplevel und Compiler)
coq-dbgsym herunterladen
| Architektur | Version | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|---|
| ppc64 (inoffizielle Portierung) | 8.17.0+dfsg-1+b2 | 8.064,9 kB | 36.430,0 kB | [Liste der Dateien] |