Package: coq-dbgsym (8.19.1+dfsg-3 and others) [debports]

[ Source:  ]

debug symbols for coq

Other Packages Related to coq-dbgsym

• dep: coq (= 8.17.0+dfsg-1+b2) [riscv64]

  proof assistant for higher-order logic (toplevel and compiler)

  dep: coq (= 8.19.1+dfsg-3) [not riscv64]

Download coq-dbgsym

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
loong64 (unofficial port)	8.19.1+dfsg-3	9,437.9 kB	39,117.0 kB	[list of files]
ppc64 (unofficial port)	8.19.1+dfsg-3	8,483.0 kB	38,619.0 kB	[list of files]
riscv64 (unofficial port)	8.17.0+dfsg-1+b2	8,984.3 kB	36,988.0 kB	[list of files]