[ sid ]
Paket: libcvc4parser4-dbgsym (1.5-1) [debports]
libcvc4parser4-dbgsym için bağlantılar
Debian Kaynakları:
Kaynak Paketini İndir:
BulunamadıGeliştiriciler:
Benzer paketler:
debug symbols for libcvc4parser4
libcvc4parser4-dbgsym ile İlgili Diğer Paketler
|
|
|
|
-
- dep: libcvc4parser4 (= 1.5-1)
- automated theorem prover for SMT problems (parser runtime)
libcvc4parser4-dbgsym indir
Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
---|---|---|---|
hppa (resmi olmayan port) | 4.367,3 kB | 4.751,0 kB | [dosya listesi] |