update to 1.23.0

This commit is contained in:
justinwoo 2019-06-02 09:24:12 +02:00
parent 56b2c0bdbd
commit 0ebdec46cb
4 changed files with 4 additions and 4 deletions

View file

@ -5,7 +5,7 @@ pkgs.stdenv.mkDerivation rec {
src = pkgs.fetchurl { src = pkgs.fetchurl {
url = "https://github.com/dhall-lang/dhall-haskell/releases/download/1.23.0/dhall-bash-1.0.20-x86_64-linux.tar.bz2"; url = "https://github.com/dhall-lang/dhall-haskell/releases/download/1.23.0/dhall-bash-1.0.20-x86_64-linux.tar.bz2";
sha256 = "0775d7ws2w5ra4l2vi1ml366w5p1hbbd151343mq0ycd06zgcnbr"; sha256 = "1wbfgcz2zb9hk681fqx5gwihkh9l4a0mz79150ka6sn9lywzs87c";
}; };
installPhase = '' installPhase = ''

View file

@ -5,7 +5,7 @@ pkgs.stdenv.mkDerivation rec {
src = pkgs.fetchurl { src = pkgs.fetchurl {
url = "https://github.com/dhall-lang/dhall-haskell/releases/download/1.23.0/dhall-json-1.2.8-x86_64-linux.tar.bz2"; url = "https://github.com/dhall-lang/dhall-haskell/releases/download/1.23.0/dhall-json-1.2.8-x86_64-linux.tar.bz2";
sha256 = "0gvzgq5q1vlr1rny8dabi2bxllf90yis70wn10kzvfnmam8x3bmp"; sha256 = "0fza35f9w9xvhxh5wnx5pkpb1mr0qxd7raqcslszl50vca0vl76v";
}; };
installPhase = '' installPhase = ''

View file

@ -5,7 +5,7 @@ pkgs.stdenv.mkDerivation rec {
src = pkgs.fetchurl { src = pkgs.fetchurl {
url = "https://github.com/dhall-lang/dhall-haskell/releases/download/1.23.0/dhall-1.23.0-x86_64-linux.tar.bz2"; url = "https://github.com/dhall-lang/dhall-haskell/releases/download/1.23.0/dhall-1.23.0-x86_64-linux.tar.bz2";
sha256 = "0j7b3lg432df5ik2fdzxbqgx8zv0kpzy4mljfn9y0yncdrjh09zb"; sha256 = "1fy41fy0n2yc7f2dr3bx44977380rh8dx25zjgvrp4yygrf3nlgp";
}; };
installPhase = '' installPhase = ''

View file

@ -5,7 +5,7 @@ pkgs.stdenv.mkDerivation rec {
src = pkgs.fetchurl { src = pkgs.fetchurl {
url = "https://github.com/dhall-lang/dhall-haskell/releases/download/1.23.0/dhall-text-1.0.17-x86_64-linux.tar.bz2"; url = "https://github.com/dhall-lang/dhall-haskell/releases/download/1.23.0/dhall-text-1.0.17-x86_64-linux.tar.bz2";
sha256 = "0hcfwyig6c1wvyqahmyhb5xkrb4vay2z6vlc1r9is8lbq65n9wyd"; sha256 = "1k9q01aswpdxfn868p9ljby32pmaxljmn80xpaana37rwvbghhml";
}; };
installPhase = '' installPhase = ''