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://github.com/EconometricsBySimulation/AbstractLogic.jl`
Installed FillArrays ─ v0.8.11
Installed Clustering ─ v0.14.1
Updating `~/.julia/environments/v1.4/Project.toml`
[4076af6c] ↑ JuMP v0.21.2 ⇒ v0.21.3
Updating `~/.julia/environments/v1.4/Manifest.toml`
[aaaa29a8] ↑ Clustering v0.13.4 ⇒ v0.14.1
[1a297f60] ↑ FillArrays v0.8.10 ⇒ v0.8.11
[781609d7] ↓ GMP_jll v6.2.0+0 ⇒ v6.1.2+5
[4076af6c] ↑ JuMP v0.21.2 ⇒ v0.21.3
[94ce4f54] ↑ Libiconv_jll v1.16.0+2 ⇒ v1.16.0+3
[d8a4904e] ↑ MutableArithmetics v0.2.9 ⇒ v0.2.10
[458c3c95] ↑ OpenSSL_jll v1.1.1+2 ⇒ v1.1.1+3
[5d786b92] ↑ TerminalLoggers v0.1.1 ⇒ v0.1.2
[02c8fc9c] ↑ XML2_jll v2.9.9+4 ⇒ v2.9.9+5
[83775a58] ↑ Zlib_jll v1.2.11+10 ⇒ v1.2.11+11
My attempt to find out
(@v1.4) pkg> add GMP_jll@6.2.0
Resolving package versions...
ERROR: Unsatisfiable requirements detected for package GMP_jll [781609d7]:
GMP_jll [781609d7] log:
├─possible versions are: [6.1.2, 6.2.0] or uninstalled
├─restricted to versions 6.2.0 by an explicit requirement, leaving only versions 6.2.0
└─restricted by julia compatibility requirements to versions: 6.1.2 or uninstalled — no versions left