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