New review comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/26431#discussion_r526856685

Comment:
Is the revbump necessary, now that `ocaml-num` no longer changes?