Re: [julia-users] Re: Change url of a package

Indeed ! There was a tag v0.1.2. I suppressed it and tagged again the correct version before using Pkg.publish(). It should be in order now. Thanks for your help. On Fri, 17 Jun 2016 at 22:59 Tony Kelman wrote: > How about in Pkg.dir("StochDynamicProgramming"), check `git

Re: [julia-users] Re: Change url of a package

How about in Pkg.dir("StochDynamicProgramming"), check `git tag`, is there a v0.1.2 there? On Friday, June 17, 2016 at 5:16:06 AM UTC-7, vincent leclere wrote: > > Thanks for the answer, I updated the url directly on github. > > As for tagging the new version I could not find any file 0.1.2 in

Re: [julia-users] Re: Change url of a package

Thanks for the answer, I updated the url directly on github. As for tagging the new version I could not find any file 0.1.2 in my Pkg.dir("METADATA")/StochDynamicProgramming/versions Any ideas ? On Thu, 16 Jun 2016 at 20:03 Tony Kelman wrote: > You can just edit >

[julia-users] Re: Change url of a package

You can just edit https://github.com/JuliaLang/METADATA.jl/blob/metadata-v2/StochDynamicProgramming/url and propose that change in a pull request. It seems like you have locally created an 0.1.2 tag already? Check in your `Pkg.dir("METADATA")` for the current git status and whether the files