$forall (arch, exe) <- downloadCandidates
  <ul .downloads>
    <li>
      <a href=@{executableLink arch exe}>
        #{toPathPiece arch}: #{toPathPiece exe}