ats-pkg-2.3.0.3: config.dhall
let cfg =
{ defaultPkgs = "https://raw.githubusercontent.com/vmchale/atspkg/master/pkgs/pkg-set.dhall"
, solverIters = 15
}
in cfg
let cfg =
{ defaultPkgs = "https://raw.githubusercontent.com/vmchale/atspkg/master/pkgs/pkg-set.dhall"
, solverIters = 15
}
in cfg