Use pinned nixpkgs (#117)

* pin nixpkgs

* use pinned nixpkgs

* use pinned nixpkgs for docker build

* use buildLayeredImage

* test dhall

* dhall channel

* fix??

* fix???

* fix????

* easy-dhall-nix

* fix?????

* pin dhall-yaml to shell, update xepkgs to use inherit

1 files changed, 9 insertions, 4 deletions

diff --git a/shell.nix b/shell.nix
index fd893ee..6abe8a7 100644
--- a/shell.nix
+++ b/shell.nix
@@ -1,6 +1,11 @@
 let
-  pkgs = import <nixpkgs> { };
   sources = import ./nix/sources.nix;
-  xepkgs = import sources.xepkgs { };
-  vgo2nix = import sources.vgo2nix { };
-in pkgs.mkShell { buildInputs = [ pkgs.go pkgs.niv xepkgs.gopls vgo2nix ]; }
+  pkgs = import sources.nixpkgs { };
+  niv = (import sources.niv { }).niv;
+  dhall-yaml =
+    (import sources.easy-dhall-nix { inherit pkgs; }).dhall-yaml-simple;
+  xepkgs = import sources.xepkgs { inherit pkgs; };
+  vgo2nix = import sources.vgo2nix { inherit pkgs; };
+in pkgs.mkShell {
+  buildInputs = [ pkgs.go xepkgs.gopls dhall-yaml niv vgo2nix ];
+}