Invalid github url when the version contains a +

[ghost]

When I ran topkg opam submit to submit the 1.0+beta9 of jbuilder I got a 404. I had to change the last part of the url generated by topkg opam pkg from jbuilder-1.0+beta9.tbz to jbuilder-1.0.beta9.tbz.

[dbuenzli]

Did you get were this came from ? Is github replacing + with . ? What archive name does topgk distrib generate ?

[ghost]

It seems that github is indeed replacing the + by a .. This is the full URL where the archive in question is available on github: https://github.com/janestreet/jbuilder/releases/download/1.0%2Bbeta9/jbuilder-1.0.beta9.tbz

topkg distrib generates this name: jbuilder-1.0+beta9.tbz.

[dbuenzli]

Annoying.