Succeeded
| Evaluation: | #1 |
|---|---|
| Time: | 2023-05-14 12:05Z - 2023-05-14 12:05Z (0.869 s) |
| Package: | abella |
| Maintainers: | |
| out path: | /nix/store/c6kyqv9x65pf9bdxrw91l7h7saayhgw5-0004-Dynamically-allocate-the-alternate-signal-stack-1026.patch |
| drv path: | /nix/store/cvn6p58bdzqzpm81qmhx0fwlimpqrh00-0004-Dynamically-allocate-the-alternate-signal-stack-1026.patch.drv |
| Expected hash: | sha256 15d4351e430a1d4f50be02cf501bcc74f8846bbc3b20bdfed45dd22efeb71a88 |
| urls: | https://src.fedoraproject.org/rpms/ocaml/raw/129153b85109944bf0b2922949f77ef8f32b39a1/f/0004-Dynamically-allocate-the-alternate-signal-stack-1026.patch |
Partial build log
this derivation will be built: /nix/store/2vigdj5pp9g3r5s7gcvr4nip5512dzas-0004-Dynamically-allocate-the-alternate-signal-stack-1026.patch.drv building '/nix/store/991p35sr3rx95mv763dzqva4jk3pgzdg-0004-Dynamically-allocate-the-alternate-signal-stack-1026.patch.drv'... 0004-Dynamically-allocate-the-alternate-signal-stack> error checking the existence of file:///dev/null/sha256/sha256-FdQ1HkMKHU9QvgLPUBvMdPiEa7w7IL3+1F3SLv63Gog=: 0004-Dynamically-allocate-the-alternate-signal-stack> curl: (37) Couldn't open file /dev/null/sha256/sha256-FdQ1HkMKHU9QvgLPUBvMdPiEa7w7IL3+1F3SLv63Gog= 0004-Dynamically-allocate-the-alternate-signal-stack> trying https://src.fedoraproject.org/rpms/ocaml/raw/129153b85109944bf0b2922949f77ef8f32b39a1/f/0004-Dynamically-allocate-the-alternate-signal-stack-1026.patch 0004-Dynamically-allocate-the-alternate-signal-stack> % Total % Received % Xferd Average Speed Time Time Time Current 0004-Dynamically-allocate-the-alternate-signal-stack> Dload Upload Total Spent Left Speed 0004-Dynamically-allocate-the-alternate-signal-stack> 100 3695 100 3695 0 0 6136 0 --:--:-- --:--:-- --:--:-- 6137