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