1  let Build = ../../../src/armitage/dhall/Build.dhall
 2  let Toolchain = ../../../src/armitage/dhall/Toolchain.dhall
 3  let Resource = ../../../src/armitage/dhall/Resource.dhall
 4  
 5  in  Build.cxx-binary
 6        { name = "test-witness"
 7        , srcs = [ "test-fetch.cpp" ]
 8        , deps = [] : List Build.Dep
 9        , toolchain = Toolchain.presets.clang-18-glibc-dynamic
10        , requires = Resource.pure
11        }