this derivation will be built:
  /nix/store/ax7kw0yaadgx98alhxw51ab6fgvcfhm4-acl2-8.5.drv
error: timed out after 1200 seconds