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