blob: 949ca185a3c35cb3022047400b39f92b4cd37b98 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
import ./generic.nix {
major_version = "4";
minor_version = "12";
patch_version = "0";
sha256 = "1hxy349jfa2vkfgmxf6pvd9w4z5bmcgsg0fxfdabcghyvjw9vvir";
patches = [
{ url = "https://src.fedoraproject.org/rpms/ocaml/raw/129153b85109944bf0b2922949f77ef8f32b39a1/f/0004-Dynamically-allocate-the-alternate-signal-stack-1026.patch";
sha256 = "sha256-FdQ1HkMKHU9QvgLPUBvMdPiEa7w7IL3+1F3SLv63Gog=";
}
];
}
|
