How to remove petsc3.6.3-doc from Debian Unstable (Sid)