yes. That is all correct. With Juliaup, the way to get julia 1.4.2 is juliaup add 1.4.2 from the command line and it should just work.
yes. That is all correct. With Juliaup, the way to get julia 1.4.2 is juliaup add 1.4.2 from the command line and it should just work.