julia.withPackages: fix weak deps on Julia 1.10

This commit is contained in:
thomasjm 2024-07-01 23:40:53 -07:00
parent eac352421d
commit e0ce7570a2

View File

@ -75,7 +75,7 @@ for (uuid, versions) in uuid_to_versions.items():
os.makedirs(out_path / path)
# Copy some files to the minimal repo unchanged
for f in ["Compat.toml", "Deps.toml"]:
for f in ["Compat.toml", "Deps.toml", "WeakCompat.toml", "WeakDeps.toml"]:
if (registry_path / path / f).exists():
shutil.copy2(registry_path / path / f, out_path / path)