aboutsummaryrefslogtreecommitdiff
*.a
*.o
.deps
.dirstamp
generated by cgit
=''/>
path: root/gnu/packages/patches/ocaml-4.07-dynamically-allocate-signal-stack.patch
AgeCommit message (Expand)Author
2023-02-22gnu: ocaml-4.07: Fix signal handling with newer glibc....* gnu/packages/patches/ocaml-4.07-dynamically-allocate-signal-stack.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it. * gnu/packages/ocaml.scm (ocaml-4.07-boot): Use it. Julien Lepiller