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

support HTTPS #2

Open

int-e wants to merge 1 commit into niteria:master from lambdabot:support-HTTPS

int-e commented Jan 8, 2025

This has become necessary because OEIS redirects HTTP queries to HTTPS.
Also makes the code compile with GHC up to 9.12.


          support HTTPS

359c1e5

- This has become necessary because OEIS redirects HTTP queries to HTTPS.

int-e mentioned this pull request

Support GHC 9.10 (WIP but maybe mergeable anyway) lambdabot/lambdabot#209

Open

3 tasks

Author

int-e commented Jan 20, 2025

ping?

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

Labels

None yet