[ sid ]
Paket: drat-trim-dbgsym (0.0~git20240428.effa1dc-2) [debports]
drat-trim-dbgsym için bağlantılar
Debian Kaynakları:
Kaynak Paketini İndir:
BulunamadıGeliştiriciler:
Benzer paketler:
debug symbols for drat-trim
drat-trim-dbgsym ile İlgili Diğer Paketler
|
|
|
|
-
- dep: drat-trim (= 0.0~git20240428.effa1dc-2)
- DART-trim satisfiability proof checker (binary utils)
drat-trim-dbgsym indir
| Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|
| alpha (resmi olmayan port) | 63,5 kB | 89,0 kB | [dosya listesi] |
| hppa (resmi olmayan port) | 61,9 kB | 85,0 kB | [dosya listesi] |
| loong64 (resmi olmayan port) | 65,6 kB | 92,0 kB | [dosya listesi] |
| m68k (resmi olmayan port) | 58,8 kB | 80,0 kB | [dosya listesi] |
| ppc64 (resmi olmayan port) | 65,2 kB | 93,0 kB | [dosya listesi] |
| sh4 (resmi olmayan port) | 61,1 kB | 210,0 kB | [dosya listesi] |
| sparc64 (resmi olmayan port) | 61,7 kB | 88,0 kB | [dosya listesi] |
| x32 (resmi olmayan port) | 63,4 kB | 84,0 kB | [dosya listesi] |