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

[ Source:  ]

debug symbols for coqide

Other Packages Related to coqide-dbgsym

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

  proof assistant for higher-order logic (gtk interface)

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

Download coqide-dbgsym

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
loong64 (unofficial port)	8.19.1+dfsg-3	652.0 kB	2,722.0 kB	[list of files]
ppc64 (unofficial port)	8.19.1+dfsg-3	627.7 kB	2,828.0 kB	[list of files]
riscv64 (unofficial port)	8.17.0+dfsg-1+b2	641.2 kB	2,701.0 kB	[list of files]