Skip to content

Merge oopsla20_revision into master#171

Open
mistzzt wants to merge 203 commits intomasterfrom
oopsla20_revision
Open

Merge oopsla20_revision into master#171
mistzzt wants to merge 203 commits intomasterfrom
oopsla20_revision

Conversation

@mistzzt
Copy link
Copy Markdown
Collaborator

@mistzzt mistzzt commented Jul 14, 2025

After discussing with Zheng, it seems that the oopsla20_revision branch contains the most up-to-date Hoogle+ code. We're merging it into the main branch to incorporate the new build configuration. The old main branch is now saved as old_master.

@mistzzt
Copy link
Copy Markdown
Collaborator Author

mistzzt commented Jul 14, 2025

I'll look into the conflicts the other day once I have time. If you are reading this and you want to build Hoogle+, you might want to try the branch oopsla20_revision.

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

Successfully merging this pull request may close these issues.

5 participants