New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Running COQdeps fails #597

Open

bimp-fimble opened this issue Jul 30, 2023 · 1 comment

bimp-fimble commented Jul 30, 2023

COQdeps fails on a fresh install, seems to be related to #594 and yaml/pyyaml#736.

Bumping PyYAML dependency to 6.0.1 seems to fix this.

vardaro commented Sep 16, 2023 •

edited

Loading

I had this issue as well on Ubuntu 22.04. Upgrading the PyYAML fixed it for me as well. Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment