HiGHS_jll 1.5.3 not allowed?

In a fresh directory,

pkg> add HiGHS@1.5.1
...
⌅ [8fd58aa0] ↓ HiGHS_jll v1.5.3+0 ⇒ v1.5.1+0

and in another directory

(projects) pkg> add HiGHS_jll@1.5.3
   Resolving package versions...
ERROR: Unsatisfiable requirements detected for package HiGHS_jll [8fd58aa0]:
 HiGHS_jll [8fd58aa0] log:
 ├─possible versions are: 0.1.1-1.5.3 or uninstalled
 ├─restricted to versions 1.5.3 by an explicit requirement, leaving only versions: 1.5.3
 └─restricted by compatibility requirements with HiGHS [87dc4568] to versions: [0.2.0-0.2.3, 0.3.1-0.3.2, 1.1.0-1.5.1] — no versions left

(projects) pkg> add HiGHS_jll@1.5.3 Resolving package versions... ERROR: Unsatisfiable requirements detected for package HiGHS_jll [8fd58aa0]: HiGHS_jll [8fd58aa0] log: ├─possible versions are: 0.1.1-1.5.3 or uninstalled ├─restricted to versions 1.5.3 by an explicit requirement, leaving only versions: 1.5.3 └─restricted by compatibility requirements with HiGHS [87dc4568] to versions: [0.2.0-0.2.3, 0.3.1-0.3.2, 1.1.0-1.5.1] — no versions left └─HiGHS [87dc4568] log: ├─possible versions are: 0.1.0-1.5.1 or uninstalled └─restricted to versions * by an explicit requirement, leaving only versions: 0.1.0-1.5.1

jump-dev / HiGHS.jl

HiGHS_jll 1.5.3 not allowed? #165