diff options
author | Profpatsch <mail@profpatsch.de> | 2021-04-18T08·29+0200 |
---|---|---|
committer | Profpatsch <mail@profpatsch.de> | 2022-02-27T17·21+0000 |
commit | 723c21ddb671aa4648559109c2d7ea3c23d9a9c9 (patch) | |
tree | bc2f743ad2c56ec0dcfa19832e3f9e4226c6d096 /.rgignore | |
parent | 4d5459ef9344d277198fa3c14a04206ff4c417d9 (diff) |
fix(third_party/nixpkgs): always use easy-dhall-nix tools r/3873
Using the dhall executables from nixpkgs is basically always a mistake, they have to be built and are regularly broken. We don’t want to care about that, but just use the official statically built binary releases. Change-Id: Ia6d9254076ca21f55e020ae81548e80d6be8281d Reviewed-on: https://cl.tvl.fyi/c/depot/+/3041 Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su> Reviewed-by: zseri <zseri.devel@ytrizja.de>
Diffstat (limited to '.rgignore')
0 files changed, 0 insertions, 0 deletions