[ sid ]
Paket: libcoq-reduction-effects-dbgsym (0.1.4-4 und andere) [debports]
Links für libcoq-reduction-effects-dbgsym
Debian-Ressourcen:
Quellcode-Paket herunterladen:
Nicht gefundenBetreuer:
Ähnliche Pakete:
debug symbols for libcoq-reduction-effects
Andere Pakete mit Bezug zu libcoq-reduction-effects-dbgsym
|
|
|
|
-
- dep: libcoq-reduction-effects (= 0.1.4-4+b2)
- reduction effects for Coq
libcoq-reduction-effects-dbgsym herunterladen
Architektur | Version | Paketgröße | Größe (installiert) | Dateien |
---|---|---|---|---|
ppc64 (inoffizielle Portierung) | 0.1.4-4+b2 | 2,8 kB | 18,0 kB | [Liste der Dateien] |