Man pages matching name convertbddindexabl in section 3:

convertbddindexabl.3.en

debian 10 / alliance