{ buildDhallGitHubPackage }:

buildDhallGitHubPackage {
  name   = "dhall-kubernetes-3.0.0";
  owner  = "dhall-lang";
  repo   = "dhall-kubernetes";
  file   = "package.dhall";
  rev    = "3c6d09a9409977cdde58a091d76a6d20509ca4b0";
  sha256 = "1r4awh770ghsrwabh5ddy3jpmrbigakk0h32542n1kh71w3cdq1h";
}