rachel/nixos-config
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

cornelis update

Browse Source
This commit is contained in:
Rachel Lambda Samuelsson 2024-02-10 14:51:44 +01:00
parent bfd300de9e
commit 965fa89ab9
2 changed files with 6 additions and 28 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

33
flake.lock
View File

@ -22,29 +22,8 @@
"type": "github"
}
},
"agda-stdlib-source": {
"flake": false,
"locked": {
"lastModified": 1697158940,
"narHash": "sha256-vtL6VPvTXhl/mepulUm8SYyTjnGsqno4RHDmTIy22Xg=",
"owner": "agda",
"repo": "agda-stdlib",
"rev": "0817da6877aa045932221134913d8511caa78d97",
"type": "github"
},
"original": {
"owner": "agda",
"ref": "v1.7.3",
"repo": "agda-stdlib",
"type": "github"
}
},
"cornelis": {
"inputs": {
"agda": [
"agda"
],
"agda-stdlib-source": "agda-stdlib-source",
"flake-compat": "flake-compat",
"flake-utils": "flake-utils_2",
"nixpkgs": [
@ -52,11 +31,11 @@
]
},
"locked": {
"lastModified": 11701455942,
"narHash": "sha256-oaAB7t6LQfgN/UHuar97zVm6BoH1GR7pk7WVJFsDtp4=",
"lastModified": 1706916489,
"narHash": "sha256-x6OrQdcViKUqF8m/yuF+hIJhecTwiwVSH9T/mJa+K4k=",
"owner": "isovector",
"repo": "cornelis",
"rev": "4569a83064343d5cda9f3671332e22ecf8f40c42",
"rev": "c1f926eb8a2d5bd051e84f330864ebc3857a83f4",
"type": "github"
},
"original": {
@ -101,11 +80,11 @@
"systems": "systems"
},
"locked": {
"lastModified": 1694529238,
"narHash": "sha256-zsNZZGTGnMOf9YpHKJqMSsa0dXbfmxeoJ7xHlrt+xmY=",
"lastModified": 1701680307,
"narHash": "sha256-kAuep2h5ajznlPMD9rnQyffWG8EM/C73lejGofXvdM8=",
"owner": "numtide",
"repo": "flake-utils",
"rev": "ff7b65b44d01cf9ba6a71320833626af21126384",
"rev": "4022d587cbbfd70fe950c1e2083a02621806a725",
"type": "github"
},
"original": {

1
flake.nix
View File

@ -9,7 +9,6 @@
agda.url = "github:agda/agda/v2.6.4.1";
agda.inputs.nixpkgs.follows = "nixpkgs";
cornelis.url = "github:isovector/cornelis/";
cornelis.inputs.agda.follows = "agda";
cornelis.inputs.nixpkgs.follows = "nixpkgs";
};