[ sid ]
Paket: cvc4-dbgsym (1.8-3 ve diğerleri) [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.8-3+b2)
- automated theorem prover for SMT problems
cvc4-dbgsym indir
Mimari | Sürüm | Paket Boyutu | Kurulu Boyut | Dosyalar |
---|---|---|---|---|
alpha (resmi olmayan port) | 1.8-3+b2 | 964,6 kB | 1.005,0 kB | [dosya listesi] |