It seems that a simple rebuild could be enough...
$ sudo dpkg -i cmigrep_1.5-8ubuntu1_all.deb (Reading database ... 212986 files and directories currently installed.) Preparing to replace cmigrep 1.5-8ubuntu1 (using cmigrep_1.5-8ubuntu1_all.deb) ... Unpacking replacement cmigrep ... Setting up cmigrep (1.5-8ubuntu1) ... Processing triggers for man-db ... $
It seems that a simple rebuild could be enough...
$ sudo dpkg -i cmigrep_ 1.5-8ubuntu1_ all.deb 1.5-8ubuntu1_ all.deb) ...
(Reading database ... 212986 files and directories currently installed.)
Preparing to replace cmigrep 1.5-8ubuntu1 (using cmigrep_
Unpacking replacement cmigrep ...
Setting up cmigrep (1.5-8ubuntu1) ...
Processing triggers for man-db ...
$