Paket: libcoq-paramcoq-dbgsym (1.1.3+coq8.19-2 und andere) [debports]

[ Quellcode:  ]

debug symbols for libcoq-paramcoq

Andere Pakete mit Bezug zu libcoq-paramcoq-dbgsym

• dep: libcoq-paramcoq (= 1.1.3+coq8.17-2) [riscv64]

  Coq plugin to generate parametricity statements

  dep: libcoq-paramcoq (= 1.1.3+coq8.19-2) [ppc64]

libcoq-paramcoq-dbgsym herunterladen

Download für alle verfügbaren Architekturen

Architektur	Version	Paketgröße	Größe (installiert)	Dateien
ppc64 (inoffizielle Portierung)	1.1.3+coq8.19-2	14,4 kB	109,0 kB	[Liste der Dateien]
riscv64 (inoffizielle Portierung)	1.1.3+coq8.17-2	11,7 kB	86,0 kB	[Liste der Dateien]