From 2acb3d4f7a61f0a6d932624ccf11cd14d5dc1ff8 Mon Sep 17 00:00:00 2001
From: Clement Delafargue <clement.delafargue@fretlink.com>
Date: Wed, 2 Oct 2019 11:02:54 +0200
Subject: Migrate to dhall 1.26.1 and merge types and terms

---
 dhall-1.26.1.nix | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 dhall-1.26.1.nix

(limited to 'dhall-1.26.1.nix')

diff --git a/dhall-1.26.1.nix b/dhall-1.26.1.nix
new file mode 100644
index 0000000..918a528
--- /dev/null
+++ b/dhall-1.26.1.nix
@@ -0,0 +1,22 @@
+{ pkgs ? import <nixpkgs> {} }: with pkgs;
+
+let
+  mkVersion =
+    version: sha256:
+      stdenv.mkDerivation {
+        name = "dhall-${version}";
+        inherit version;
+        src = fetchurl {
+          url = "https://github.com/dhall-lang/dhall-haskell/releases/download/${version}/dhall-${version}-x86_64-linux.tar.bz2";
+          inherit sha256;
+        };
+        unpackPhase = ''
+          tar -xjf $src
+        '';
+        installPhase = ''
+          mkdir -p $out/bin
+          mv bin/dhall $out/bin/
+        '';
+      };
+in
+  mkVersion "1.26.1" "0sl4r3mfairgd6kn26hs1r1lkh8rn992grd73078rhqf5w90ag05"
-- 
cgit v1.2.3