Man pages matching name o2v in section 1:

o2v.1.en

debian 12 / coqprime-tools