Skip to content

Conversation

@dra27
Copy link
Owner

@dra27 dra27 commented Dec 9, 2025

No description provided.

dra27 added 6 commits December 8, 2025 17:19
The original file can be obtained by changing the index line to:

index 47786c0d..ce892e88 100644
janestreet/virtual_dom_toplayer renamed to janestreet/toplayer, so the
original archive isn't available from GitHub anymore.
Patches needed to use _alloca correctly.
@dra27 dra27 force-pushed the oxcaml-constraints-2 branch 12 times, most recently from c5bcdbf to 65f0375 Compare December 9, 2025 11:02
dra27 added 3 commits December 9, 2025 11:04
Requires upstream correction to a Windows-specific C function
Workaround for the lack of memmem required upstream
@dra27 dra27 force-pushed the oxcaml-constraints-2 branch from 65f0375 to 91a1732 Compare December 9, 2025 11:53
@dra27 dra27 merged commit 13c1962 into master Dec 12, 2025
7 of 9 checks passed
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.

2 participants