Updating older Julia packages with Pkg3

I encountered the following:

I tried to install PETsc.jl on Julia-1.0. This triggered an Unsatisfiable Requirement error for one of its dependencies. In an attempt to modify the package as to limit its dependencies to 1.0 compatible packages, I tried:

dev https://.../PETsc.jl

This gives me the same version incompatibility error as before, but does indeed pull in the repo and places it in dev/. However, the package is not considered installed and as a consequence using PETsc fails.

How do I now force the package manager and loading subsystem to consider this package?

You should probably look into fixing this dependency first. You can probably override the reolver by manually cloning and then dev the paths.