To install libx32cilkrts5-dbg just follow these instructions.
sudo apt-get install libx32cilkrts5-dbg
Which will install libx32cilkrts5-dbg and any other packages on which it depends.
Package | libx32cilkrts5-dbg |
Version | 4.9.2-10 |
Maintainer | Debian GCC Maintainers <debian-gcc@lists.debian.org> |
Home page | http://gcc.gnu.org/ |
Description | Intel Cilk Plus language extensions (x32 debug symbols) |
Distro | debian |
Release | jessie |
Repo | main |
Section | debug |