Partial build log
this derivation will be built:
/nix/store/yf4dx3gc65i84xl95davd3da4xc19ng1-gecode-3.7.3.tar.gz.drv
building '/nix/store/yf4dx3gc65i84xl95davd3da4xc19ng1-gecode-3.7.3.tar.gz.drv'...
gecode> trying http://www.gecode.org/download/gecode-3.7.3.tar.gz
gecode> % Total % Received % Xferd Average Speed Time Time Time Current
gecode> Dload Upload Total Spent Left Speed
gecode> 100 162 100 162 0 0 815 0 --:--:-- --:--:-- --:--:-- 818
gecode> 0 9339 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0
gecode> curl: (22) The requested URL returned error: 404
gecode> error checking the existence of file:///dev/null/sha256/0k45jas6p3cyldgyir1314ja3174sayn2h2ly3z9b4dl3368pk77:
gecode> curl: (37) Couldn't open file /dev/null/sha256/0k45jas6p3cyldgyir1314ja3174sayn2h2ly3z9b4dl3368pk77
gecode> error: cannot download gecode-3.7.3.tar.gz from any mirror
error: builder for '/nix/store/yf4dx3gc65i84xl95davd3da4xc19ng1-gecode-3.7.3.tar.gz.drv' failed with exit code 1