[ sid ]
Paket: libcvc4parser7-dbgsym (1.8-3 ve diğerleri) [debports]
libcvc4parser7-dbgsym için bağlantılar
Debian Kaynakları:
Kaynak Paketini İndir:
BulunamadıGeliştiriciler:
Benzer paketler:
debug symbols for libcvc4parser7
libcvc4parser7-dbgsym ile İlgili Diğer Paketler
|
|
|
|
-
- dep: libcvc4parser7 (= 1.8-3) [riscv64]
- automated theorem prover for SMT problems (parser runtime)
- dep: libcvc4parser7 (= 1.8-3+b2) [riscv64 değil]
libcvc4parser7-dbgsym indir
| Mimari | Sürüm | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|---|
| alpha (resmi olmayan port) | 1.8-3+b2 | 5.020,6 kB | 5.391,0 kB | [dosya listesi] |
| ia64 (resmi olmayan port) | 1.8-3+b2 | 5.490,6 kB | 5.856,0 kB | [dosya listesi] |
| m68k (resmi olmayan port) | 1.8-3+b2 | 4.538,6 kB | 4.859,0 kB | [dosya listesi] |
| ppc64 (resmi olmayan port) | 1.8-3+b2 | 5.038,1 kB | 5.442,0 kB | [dosya listesi] |
| riscv64 (resmi olmayan port) | 1.8-3 | 4.168,8 kB | 4.558,0 kB | [dosya listesi] |
| sparc64 (resmi olmayan port) | 1.8-3+b2 | 4.877,3 kB | 5.252,0 kB | [dosya listesi] |
| x32 (resmi olmayan port) | 1.8-3+b2 | 4.983,9 kB | 5.327,0 kB | [dosya listesi] |