Ubuntu 14.04에서 .deb 패키지 파일과 ddeb 패키지 파일의 차이점은 무엇입니까?

Ubuntu 14에 SystemTap을 설치해야 하고, 커널용 디버깅 기호도 설치해야 합니다. 나는 한 사람을 만났다뎁문서.

다음 오류가 발생합니다.

ERROR: Build-id mismatch [man error::buildid]: after installation of ddeb file .(kernel version mismatch)

질문:

설치 후에 이 파일을 어떻게 제거합니까?