rhi/quox
rhi
/
quox
1
0
Fork 0
Code Issues 14 Pull Requests Releases Wiki Activity

flake stuff 

putting the inputs inside out like they were will prevent updates to
deps unless i update tap first. i think? which probably doesn't matter,
but it might
This commit is contained in:
rhiannon morris 2022-10-06 21:16:54 +02:00
parent 8a55cc9581
commit 8c05957f60
2 changed files with 31 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
flake.lock
View File

@ -250,7 +250,6 @@
"effect": "effect",
"elab-util": "elab-util",
"flake-utils": [
"tap",
"flake-utils"
],
"frex": "frex",
@ -267,7 +266,6 @@
"katla": "katla",
"lsp": "lsp",
"nixpkgs": [
"tap",
"nixpkgs"
],
"odf": "odf",
@ -487,18 +485,9 @@
},
"root": {
"inputs": {
"flake-utils": [
"tap",
"flake-utils"
],
"idris2-pkgs": [
"tap",
"idris2-pkgs"
],
"nixpkgs": [
"tap",
"nixpkgs"
],
"flake-utils": "flake-utils",
"idris2-pkgs": "idris2-pkgs",
"nixpkgs": "nixpkgs",
"tap": "tap"
}
},
@ -552,9 +541,15 @@
},
"tap": {
"inputs": {
"flake-utils": "flake-utils",
"idris2-pkgs": "idris2-pkgs",
"nixpkgs": "nixpkgs"
"flake-utils": [
"flake-utils"
],
"idris2-pkgs": [
"idris2-pkgs"
],
"nixpkgs": [
"nixpkgs"
]
},
"locked": {
"lastModified": 1660774921,

23
flake.nix
View File

@ -1,10 +1,25 @@
{ description = "quox: quantitative extensional type theory";
inputs = {
tap.url = "git+https://git.rhiannon.website/rhi/idris2-tap?ref=main";
nixpkgs.follows = "tap/nixpkgs";
flake-utils.follows = "tap/flake-utils";
idris2-pkgs.follows = "tap/idris2-pkgs";
nixpkgs.url = "nixpkgs/21.11";
flake-utils = {
url = "github:numtide/flake-utils";
inputs.nixpkgs.follows = "nixpkgs";
};
idris2-pkgs = {
url = "github:claymager/idris2-pkgs";
inputs.nixpkgs.follows = "nixpkgs";
inputs.flake-utils.follows = "flake-utils";
};
tap = {
url = "git+https://git.rhiannon.website/rhi/idris2-tap?ref=main";
inputs.nixpkgs.follows = "nixpkgs";
inputs.flake-utils.follows = "flake-utils";
inputs.idris2-pkgs.follows = "idris2-pkgs";
};
};
outputs = { self, nixpkgs, idris2-pkgs, flake-utils, tap }: