Package: libcoq-paramcoq-dbgsym (1.1.3+coq8.19-2 and others) [debports]

[ Source:  ]

debug symbols for libcoq-paramcoq

Other Packages Related to 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) [not riscv64]

Download libcoq-paramcoq-dbgsym

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
loong64 (unofficial port)	1.1.3+coq8.19-2	13.9 kB	98.0 kB	[list of files]
ppc64 (unofficial port)	1.1.3+coq8.19-2	14.4 kB	109.0 kB	[list of files]
riscv64 (unofficial port)	1.1.3+coq8.17-2	11.7 kB	86.0 kB	[list of files]