How do I find out, what makes GMP v6.2.0+0 downgrade to v6.1.2+5 (@v1.4) pkg> up Updating registry at `~/.julia/registries/General` Updating git-repo `https://github.com/JuliaRegistries/General.git` Updating git-repo `https://github.com/waralex/Dashboards.git` Updating git-repo `https:/…

How do I find out, what makes GMP_jll v6.2.0+0 downgrade to v6.1.2+5

odow June 20, 2020, 2:26am 2

tl;dr: GMP 6.2 broke everything on Julia < 1.5.

Topic		Replies	Views
Adding JuMP downgrades some packages in v0.6 General Usage package	1	1033	June 23, 2017
Pkg update downgrade JuMP Optimization (Mathematical) jump , pkg , update	3	1447	August 17, 2019
Help: Problem in updating JuMP from 0.15.1 to 0.18.0 General Usage	0	480	February 1, 2018
Pinning a particular version of JuMP Optimization (Mathematical)	2	646	November 20, 2017
JuMP v0.19.2 ⇒ v0.18.6 Optimization (Mathematical)	3	803	August 26, 2019