[ sid ]

[ Kaynak: ]

Paket: libcoq-elpi-dbgsym (2.1.0-1 ve diğerleri) [debports]

libcoq-elpi-dbgsym için bağlantılar

Debian Kaynakları:

Hata Raporları

Kaynak Paketini İndir:

Bulunamadı

Geliştiriciler:

Benzer paketler:

debug symbols for libcoq-elpi

libcoq-elpi-dbgsym ile İlgili Diğer Paketler

bağımlılıklar

tavsiye edilen

önerilen

enhances

dep: libcoq-elpi (= 1.17.1-1+b4) [riscv64]

Coq plugin embedding Elpi

dep: libcoq-elpi (= 2.1.0-1+b1) [ppc64]

dep: libcoq-elpi (= 2.1.0-1+b3) [loong64]

libcoq-elpi-dbgsym indir

Tüm mevcut mimariler için indir
Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
loong64 (resmi olmayan port)	2.1.0-1+b3	143,5 kB	702,0 kB	[dosya listesi]
ppc64 (resmi olmayan port)	2.1.0-1+b1	134,8 kB	751,0 kB	[dosya listesi]
riscv64 (resmi olmayan port)	1.17.1-1+b4	84,7 kB	391,0 kB	[dosya listesi]