Skip to content
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.

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

Install Fail on WSL2 #312

Open
yogurt-shadow opened this issue Mar 28, 2024 · 2 comments
Open

Install Fail on WSL2 #312

yogurt-shadow opened this issue Mar 28, 2024 · 2 comments

Comments

@yogurt-shadow
Copy link

I am trying to install dreal4 on WSL2 (Ubuntu 22), however something goes wrong.
dreal
I seems like something is wrong with public-key.

Please help me. Thank you!

@ndtudsj
Copy link

ndtudsj commented Jul 5, 2024

I had the same issue, did you fix it? WSL2 Ubuntu22.04
97da5e7e00f4b9596ac9afdae7059bc

@yogurt-shadow
Copy link
Author

@ndtudsj
I do not solve this problem. Have you solved it?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants