Not very fond of using the dose3 `decode` function here. If you really need it (eg. if you can't use `cudf2opam`) it'd better if you can move that function to `OpamCudf.decode`.