From 9fb7693dd1eca2aaae49557be0a75f83bbc7129f Mon Sep 17 00:00:00 2001 From: Matei Adriel Date: Sun, 21 Nov 2021 22:31:02 +0200 Subject: [PATCH] feat: idr --- flake.lock | 34 ++++++++++++++++++++++++++++++++++ flake.nix | 6 ++++-- 2 files changed, 38 insertions(+), 2 deletions(-) diff --git a/flake.lock b/flake.lock index c2b9fee..eb0a2a3 100644 --- a/flake.lock +++ b/flake.lock @@ -1,5 +1,37 @@ { "nodes": { + "easy-dhall-nix": { + "flake": false, + "locked": { + "lastModified": 1626523404, + "narHash": "sha256-FLZcMqO8dKIwKi8/Szqgt3ksr5WegLGFGzCODHEMvb0=", + "owner": "justinwoo", + "repo": "easy-dhall-nix", + "rev": "9bd1bea0dcebe1d1d120c0fd1ba76683dc4a62e3", + "type": "github" + }, + "original": { + "owner": "justinwoo", + "repo": "easy-dhall-nix", + "type": "github" + } + }, + "easy-purescript-nix": { + "flake": false, + "locked": { + "lastModified": 1637309859, + "narHash": "sha256-nYaVqtsz7bgPjIr2crgEP42worQT3iho62t4c+RCWGM=", + "owner": "justinwoo", + "repo": "easy-purescript-nix", + "rev": "82f901ce0a2d86327e2d65993a75c2ea74f229f2", + "type": "github" + }, + "original": { + "owner": "justinwoo", + "repo": "easy-purescript-nix", + "type": "github" + } + }, "home-manager": { "inputs": { "nixpkgs": [ @@ -54,6 +86,8 @@ }, "root": { "inputs": { + "easy-dhall-nix": "easy-dhall-nix", + "easy-purescript-nix": "easy-purescript-nix", "home-manager": "home-manager", "nixos-unstable": "nixos-unstable", "nixpkgs": "nixpkgs" diff --git a/flake.nix b/flake.nix index 5e3ce8a..b557081 100644 --- a/flake.nix +++ b/flake.nix @@ -9,10 +9,12 @@ home-manager.inputs.nixpkgs.follows = "nixpkgs"; easy-dhall-nix.url = "github:justinwoo/easy-dhall-nix"; - easy-dhall-nix.inputs.nixpkgs.follows = "nixpkgs"; + easy-dhall-nix.flake = false; + # easy-dhall-nix.inputs.nixpkgs.follows = "nixpkgs"; easy-purescript-nix.url = "github:justinwoo/easy-purescript-nix"; - easy-purescript-nix.inputs.nixpkgs.follows = "nixpkgs"; + easy-purescript-nix.flake = false; + # easy-purescript-nix.inputs.nixpkgs.follows = "nixpkgs"; }; outputs = { self, nixpkgs, home-manager, nixos-unstable, easy-purescript-nix