To use the dedicated Package Registry for PACE, you need to do the following:

1. Use the Julia REPL to type the following:

    julia> using Pkg
   
    julia> pkg"registry add https://gitlab.inria.fr/pace/pace-julia-registry.git"
   

   This only needs to be done once per Julia installation.

2. To add a package from the registry:

    julia> Pkg.add("MPFI")
   

   Will automatically search for the package also in the registries that you have added.

---