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

'POMDPTools' is not installable via general registry #437

Closed
YongHee-Kim opened this issue Nov 1, 2022 · 3 comments
Closed

'POMDPTools' is not installable via general registry #437

YongHee-Kim opened this issue Nov 1, 2022 · 3 comments

Comments

@YongHee-Kim
Copy link

I can see the POMDTTools has been registered, but package manager says it isn't on the registry
image

I'm on Julia 1.8.2

@zsunberg
Copy link
Member

zsunberg commented Nov 3, 2022

That is strange - it currently works for me and my students. Perhaps your registry has not been updated in a while?

@YongHee-Kim
Copy link
Author

Strange... registry is automatically updated. Since issue is with general registry, I will create issue there and close this one

image

@zsunberg
Copy link
Member

zsunberg commented Nov 9, 2022

Thanks - hope this gets resolved!

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