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