alla flaggor
[  sid  ]
[ Källkod:  ]

Paket: why3-dbgsym (1.6.0-1 och andra) [debports]

Länkar för why3-dbgsym

Screenshot

Debianresurser:

Hämta källkodspaketet :

Hittades ej

Ansvariga:

Liknande paket:

debug symbols for why3

Andra paket besläktade med why3-dbgsym

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta why3-dbgsym

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Version Paketstorlek Installerad storlek Filer
alpha (inofficiell anpassning) 1.6.0-1+b5 36,6 kbyte64,0 kbyte [filförteckning]
hppa (inofficiell anpassning) 1.6.0-1+b5 36,9 kbyte61,0 kbyte [filförteckning]
ia64 (inofficiell anpassning) 1.6.0-1+b5 42,3 kbyte70,0 kbyte [filförteckning]
m68k (inofficiell anpassning) 1.6.0-1+b4 34,3 kbyte57,0 kbyte [filförteckning]
ppc64 (inofficiell anpassning) 1.6.0-1 2.034,3 kbyte10.131,0 kbyte [filförteckning]
riscv64 (inofficiell anpassning) 1.5.1-1+b3 2.202,1 kbyte9.899,0 kbyte [filförteckning]
sh4 (inofficiell anpassning) 1.6.0-1+b4 37,6 kbyte187,0 kbyte [filförteckning]
sparc64 (inofficiell anpassning) 1.6.0-1+b5 36,4 kbyte66,0 kbyte [filförteckning]
x32 (inofficiell anpassning) 1.3.3-3 85,5 kbyte244,0 kbyte [filförteckning]