Eu encontrei os cabeçalhos corretos aqui .
Como adicionar este repositório:
sudo -i
cd /etc/apt/sources.list.d
wget https://oph.mdrjr.net/meveric/sources.lists/meveric-all-main.list
wget -O- http://oph.mdrjr.net/meveric/meveric.asc | apt-key add -
exit
sudo apt-get update
Você pode usar o APT para instalar os cabeçalhos que você precisa.