Registry Usage

Using the registry

Add the registry

In a Julia REPL:

using Pkg
Pkg.Registry.add(RegistrySpec(url = "https://github.com/hyperpolymath/julia-professional-registry"))

You only need to do this once per Julia depot. After that, packages in this registry are visible to the standard Pkg.add / pkg> add flow.

Install a package

Pick something from Packages and install it the usual way:

using Pkg
Pkg.add("ZeroProb")
Pkg.add("Axiom")
Pkg.add("SMTLib")

Or from the Pkg REPL mode (press ]):

pkg> add ZeroProb
pkg> add Axiom
pkg> add SMTLib

Update the registry

To pull in newly-registered versions:

using Pkg
Pkg.Registry.update("julia-professional-registry")

Or update all registries:

Pkg.Registry.update()

Resolve a version conflict between registries

If you also have JuliaRegistries/General installed and a package exists in both, Julia uses standard semver resolution — the highest compatible version wins regardless of which registry it came from. To pin a specific registry's version, use a version constraint in your Project.toml:

[deps]
ZeroProb = "..."

[compat]
ZeroProb = "= 0.1.0"

Remove the registry

using Pkg
Pkg.Registry.rm("julia-professional-registry")

This does not uninstall packages you previously installed from it.

Troubleshooting

"Could not find package X" — confirm the registry is added (Pkg.Registry.status()), the package name is spelled exactly as listed on Packages, and you have run Pkg.Registry.update() since the registration landed.

"Failed to clone https://github.com/.../X" — the upstream package repo may have moved or be temporarily unreachable. Check the package's row on Packages for its canonical repository URL.

Anything else — open an issue with the bug-report template; include your versioninfo() output and the exact Pkg commands you ran.