This repository has been archived on 2024-08-07. You can view files and clone it, but cannot push or open issues/pull-requests.

…
..
.gitignore	…
build.cc	…
builtins.cc	…
builtins.hh	…
derivations.cc	…
derivations.hh	…
gc.cc	…
globals.cc	…
globals.hh	…
local-store.cc	…
local-store.hh	…
misc.cc	…
misc.hh	…
optimise-store.cc	…
pathlocks.cc	…
pathlocks.hh	…
references.cc	…
references.hh	…
sqlite.cc	…
sqlite.hh	…
store-api.cc	…
store-api.hh	…
worker-protocol.hh	…