how to wget the latest MPS patch version in a travis build?

For building the `DSLFoundry/mps-langvis` plug-in on GitHub we have a travis script that contains the line



I was expecting that this would give me the latest patch version of 2019.3 (at the moment this is 2019.3.4) but I found that it gets the earliest release (build 193.1166 from Dec 23). What is the proper way to wget the latest patch version of a given major.minor version? 

Comment actions Permalink worked for me. I don't think there's any automatically redirecting URL.

Comment actions Permalink

Right, the works for me too. Too bad for not having a automatic redirect, but this is not blocking. 

I was just wondering if there should have been a redirect that somehow was broken.


Please sign in to leave a comment.