fix cornelis being weird
This commit is contained in:
parent
9d357cd250
commit
08b393988f
28
flake.lock
28
flake.lock
|
@ -47,14 +47,16 @@
|
||||||
"agda-stdlib-source": "agda-stdlib-source",
|
"agda-stdlib-source": "agda-stdlib-source",
|
||||||
"flake-compat": "flake-compat",
|
"flake-compat": "flake-compat",
|
||||||
"flake-utils": "flake-utils_2",
|
"flake-utils": "flake-utils_2",
|
||||||
"nixpkgs": "nixpkgs"
|
"nixpkgs": [
|
||||||
|
"nixpkgs"
|
||||||
|
]
|
||||||
},
|
},
|
||||||
"locked": {
|
"locked": {
|
||||||
"lastModified": 1701381799,
|
"lastModified": 11701455942,
|
||||||
"narHash": "sha256-ZYhwijxt6DFdZbHR/Vr0nq67TQi0TeDvCAlJaP6n0JA=",
|
"narHash": "sha256-oaAB7t6LQfgN/UHuar97zVm6BoH1GR7pk7WVJFsDtp4=",
|
||||||
"owner": "isovector",
|
"owner": "isovector",
|
||||||
"repo": "cornelis",
|
"repo": "cornelis",
|
||||||
"rev": "86174c3eea973f8469743d744c643bcf164fd62d",
|
"rev": "4569a83064343d5cda9f3671332e22ecf8f40c42",
|
||||||
"type": "github"
|
"type": "github"
|
||||||
},
|
},
|
||||||
"original": {
|
"original": {
|
||||||
|
@ -134,22 +136,6 @@
|
||||||
}
|
}
|
||||||
},
|
},
|
||||||
"nixpkgs": {
|
"nixpkgs": {
|
||||||
"locked": {
|
|
||||||
"lastModified": 1699186365,
|
|
||||||
"narHash": "sha256-Pxrw5U8mBsL3NlrJ6q1KK1crzvSUcdfwb9083sKDrcU=",
|
|
||||||
"owner": "NixOS",
|
|
||||||
"repo": "nixpkgs",
|
|
||||||
"rev": "a0b3b06b7a82c965ae0bb1d59f6e386fe755001d",
|
|
||||||
"type": "github"
|
|
||||||
},
|
|
||||||
"original": {
|
|
||||||
"owner": "NixOS",
|
|
||||||
"ref": "nixpkgs-unstable",
|
|
||||||
"repo": "nixpkgs",
|
|
||||||
"type": "github"
|
|
||||||
}
|
|
||||||
},
|
|
||||||
"nixpkgs_2": {
|
|
||||||
"locked": {
|
"locked": {
|
||||||
"lastModified": 1701263465,
|
"lastModified": 1701263465,
|
||||||
"narHash": "sha256-lNXUIlkfyDyp9Ox21hr+wsEf/IBklLvb6bYcyeXbdRc=",
|
"narHash": "sha256-lNXUIlkfyDyp9Ox21hr+wsEf/IBklLvb6bYcyeXbdRc=",
|
||||||
|
@ -170,7 +156,7 @@
|
||||||
"agda": "agda",
|
"agda": "agda",
|
||||||
"cornelis": "cornelis",
|
"cornelis": "cornelis",
|
||||||
"home-manager": "home-manager",
|
"home-manager": "home-manager",
|
||||||
"nixpkgs": "nixpkgs_2"
|
"nixpkgs": "nixpkgs"
|
||||||
}
|
}
|
||||||
},
|
},
|
||||||
"systems": {
|
"systems": {
|
||||||
|
|
|
@ -8,8 +8,9 @@
|
||||||
home-manager.inputs.nixpkgs.follows = "nixpkgs";
|
home-manager.inputs.nixpkgs.follows = "nixpkgs";
|
||||||
agda.url = "github:agda/agda/v2.6.4.1";
|
agda.url = "github:agda/agda/v2.6.4.1";
|
||||||
agda.inputs.nixpkgs.follows = "nixpkgs";
|
agda.inputs.nixpkgs.follows = "nixpkgs";
|
||||||
cornelis.url = "github:isovector/cornelis";
|
cornelis.url = "github:isovector/cornelis/";
|
||||||
cornelis.inputs.agda.follows = "agda";
|
cornelis.inputs.agda.follows = "agda";
|
||||||
|
cornelis.inputs.nixpkgs.follows = "nixpkgs";
|
||||||
};
|
};
|
||||||
|
|
||||||
outputs = { self, nixpkgs, home-manager, agda, cornelis }:
|
outputs = { self, nixpkgs, home-manager, agda, cornelis }:
|
||||||
|
|
Loading…
Reference in New Issue
Block a user