Open ghost opened 7 years ago
Did you get were this came from ? Is github replacing +
with .
? What archive name does topgk distrib
generate ?
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
.
Annoying.
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 bytopkg opam pkg
fromjbuilder-1.0+beta9.tbz
tojbuilder-1.0.beta9.tbz
.