// Installing pardes: the clone and the build, included by setup.typ and by
// the site's landing page, so it is written once. The mirrors come from
// `project` in style.typ.
#import "style.typ": cmd, project

#let first = project.mirrors.first()
#cmd("git clone " + first.clone + " && cd pardes")

#if project.download != none [
  A static #raw(project.download.arch) binary: #link(project.download.url)[#raw(project.download.url.split("/").last())]
  (sha256 #raw(project.download.sha256)). Or build it:
]

With Zig 0.16 (the build fetches everything else; once that is
downloaded, a first build from a clean cache took 62 seconds on 16 cores):
#cmd("# pardes, in a terminal\nzig build -Dplatform=tty --prefix ~/.local")
#cmd("# pardes-gui, its own window\nzig build -Dplatform=gui --prefix ~/.local")
Then run `pardes` or `pardes FILE`.