套件：libcoq-paramcoq-dbgsym（1.1.3+coq8.19-2 以及其他的） [debports]

[ 原始碼：  ]

debug symbols for libcoq-paramcoq

其他與 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) [除 riscv64]

下載 libcoq-paramcoq-dbgsym

下載可用於所有硬體架構的

硬體架構	版本	套件大小	安裝後大小	檔案
loong64 （非官方移植版）	1.1.3+coq8.19-2	13。9 kB	98。0 kB	[檔案列表]
ppc64 （非官方移植版）	1.1.3+coq8.19-2	14。4 kB	109。0 kB	[檔案列表]
riscv64 （非官方移植版）	1.1.3+coq8.17-2	11。7 kB	86。0 kB	[檔案列表]