diff --git a/bob/devtools/scripts/mirror.py b/bob/devtools/scripts/mirror.py index 5a3034c0d141108f60aa4d1ee4e93feb23705134..1cfb86c2cf9d2f83ac1147ed81ee70578d494f97 100644 --- a/bob/devtools/scripts/mirror.py +++ b/bob/devtools/scripts/mirror.py @@ -147,7 +147,8 @@ def mirror( for arch in DEFAULT_SUBDIRS: - remote_repodata = get_json(channel_url, arch, 'repodata.json.bz2') + remote_repodata = get_json(channel_url, arch, + 'repodata_from_packages.json.bz2') logger.info('%d packages available in remote index', len(remote_repodata.get('packages', {}))) local_packages = get_local_contents(dest_dir, arch)