Man pages matching name convertbddmuxabl in section 3:

convertbddmuxabl.3.en

debian 10 / alliance