Eu descobri qual era o problema.
Eu testei meu arquivo .deb por meio dos ciclos dos dois comandos a seguir:
-
sudo dpkg -i fman.deb -
sudo dpkg -r fman(equivalentemente,sudo apt-get remove fman)
Descobri que ... -r exclui os arquivos de configuração. Para excluir também os arquivos de configuração, é necessário usar sudo dpkg -P fman .
Durante meus testes, devo ter excluído manualmente /etc/apt/sources.list.d/fman.list em algum momento. Mas dpkg (/ apt ) ainda lembrou que tinha instalado esse arquivo, então ele não foi reinstalado na próxima vez que eu fiz dpkg -i (equivalentemente, apt-get install ).
A solução foi, portanto, chamar sudo dpkg -P fman . Da próxima vez que eu fiz o dpkg -i fman.deb , o arquivo fman.list foi criado como esperado.