prescientmoon/satellite
1
Fork 0
Code Activity

feat: idr

Browse source
This commit is contained in:
Matei Adriel 2021-11-21 22:31:02 +02:00
parent 45f91d184a
commit 9fb7693dd1
2 changed files with 38 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

34
flake.lock
View file

@ -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"

6
flake.nix
View file

@ -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