[ sid ]
Paket: konclude-dbgsym (0.7.0+1138+git20220514~dfsg-1 und andere) [debports]
Links für konclude-dbgsym
Debian-Ressourcen:
Quellcode-Paket herunterladen:
Nicht gefundenBetreuer:
Ähnliche Pakete:
debug symbols for konclude
Andere Pakete mit Bezug zu konclude-dbgsym
|
|
|
|
-
- dep: konclude (= 0.7.0+1138+git20220514~dfsg-1+b1)
- tableau-based description logic reasoner for the semantic web
konclude-dbgsym herunterladen
Architektur | Version | Paketgröße | Größe (installiert) | Dateien |
---|---|---|---|---|
alpha (inoffizielle Portierung) | 0.7.0+1138+git20220514~dfsg-1+b1 | 72.317,0 kB | 78.605,0 kB | [Liste der Dateien] |