fix: Specify dolmen as dev dependency#1333

bclement-ocp wants to merge 1 commit intoOCamlPro:nextOCamlPro/alt-ergo:nextfrom

bclement-ocp:push-tnvsqklulruqbclement-ocp/alt-ergo:push-tnvsqklulruqCopy head branch name to clipboard