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