[ sid ]

[ Quellcode: ]

Paket: libcoq-mtac2-dbgsym (1.4+8.17-1 und andere) [debports]

Links für libcoq-mtac2-dbgsym

Debian-Ressourcen:

Fehlerberichte

Quellcode-Paket herunterladen:

Nicht gefunden

Betreuer:

Ähnliche Pakete:

debug symbols for libcoq-mtac2

Andere Pakete mit Bezug zu libcoq-mtac2-dbgsym

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: libcoq-mtac2 (= 1.4+8.17-1+b1)

Mtac2 tactic language for Coq

libcoq-mtac2-dbgsym herunterladen

Download für alle verfügbaren Architekturen
Architektur	Version	Paketgröße	Größe (installiert)	Dateien
ppc64 (inoffizielle Portierung)	1.4+8.17-1+b1	26,6 kB	107,0 kB	[Liste der Dateien]
riscv64 (inoffizielle Portierung)	1.4+8.17-1+b1	28,9 kB	102,0 kB	[Liste der Dateien]