略過導航欄

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

cbmc-dbgsym 的相關連結

Debian 的資源：

• 報告問題

下載原始碼套件 ：

維護小組：

相似套件：

• cbmc
• xen-utils-4.17-dbg
• libxfce4ui-1-dbg
• libxfce4ui-2-dbg
• gimp-dbg
• digikam-dbg
• binutils-aarch64-linux-gnu-dbg
• binutils-alpha-linux-gnu-dbg
• binutils-arm-linux-gnueabi-dbg
• binutils-arm-linux-gnueabihf-dbg
• binutils-hppa-linux-gnu-dbg

其他與 cbmc-dbgsym 有關的套件

• dep: cbmc (= 5.84.0-11)

  bounded model checker for C and C++ programs

下載 cbmc-dbgsym