[ sid ]
Paket: python3-cvc5-dbgsym (1.1.2-2 ve diğerleri) [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.0.5-3) [riscv64]
- automated theorem prover for SMT problems (Python bindings)
- dep: python3-cvc5 (= 1.1.2-2) [riscv64 değil]
python3-cvc5-dbgsym indir
Mimari | Sürüm | Paket Boyutu | Kurulu Boyut | Dosyalar |
---|---|---|---|---|
alpha (resmi olmayan port) | 1.1.2-2 | 2.445,8 kB | 2.735,0 kB | [dosya listesi] |
hppa (resmi olmayan port) | 1.1.2-2 | 2.397,2 kB | 2.672,0 kB | [dosya listesi] |
m68k (resmi olmayan port) | 1.1.2-2 | 2.247,9 kB | 2.506,0 kB | [dosya listesi] |
ppc64 (resmi olmayan port) | 1.1.2-2 | 2.458,4 kB | 2.786,0 kB | [dosya listesi] |
riscv64 (resmi olmayan port) | 1.0.5-3 | 1.688,4 kB | 1.937,0 kB | [dosya listesi] |
sparc64 (resmi olmayan port) | 1.1.2-2 | 2.398,0 kB | 2.688,0 kB | [dosya listesi] |
x32 (resmi olmayan port) | 1.1.2-2 | 2.470,7 kB | 2.752,0 kB | [dosya listesi] |