OPAM lister fails on coq.inria.fr
Sentry Issue: SWH-LISTER-8K
CalledProcessError: Command '['/usr/bin/opam', 'repository', 'add', '--set-default', '--root', '/tmp/opam/', 'coq.inria.fr', 'https://coq.inria.fr/opam/released']' returned non-zero exit status 40.
File "swh/lister/opam/tasks.py", line 13, in list_opam
return OpamLister.from_configfile(**lister_args).run().dict()
File "swh/lister/pattern.py", line 219, in run
for page in self.get_pages():
File "swh/lister/opam/lister.py", line 82, in get_pages
opam_init(self.opam_root, self.instance, self.url, self.env)
File "swh/lister/opam/lister.py", line 166, in opam_init
run(command, env=env, check=True)
File "subprocess.py", line 487, in run
output=stdout, stderr=stderr)