77 lines
2 KiB
JSON
77 lines
2 KiB
JSON
{
|
|
"nodes": {
|
|
"flake-utils": {
|
|
"locked": {
|
|
"lastModified": 1631561581,
|
|
"narHash": "sha256-3VQMV5zvxaVLvqqUrNz3iJelLw30mIVSfZmAaauM3dA=",
|
|
"owner": "numtide",
|
|
"repo": "flake-utils",
|
|
"rev": "7e5bf3925f6fbdfaf50a2a7ca0be2879c4261d19",
|
|
"type": "github"
|
|
},
|
|
"original": {
|
|
"owner": "numtide",
|
|
"repo": "flake-utils",
|
|
"type": "github"
|
|
}
|
|
},
|
|
"nixpkgs": {
|
|
"locked": {
|
|
"lastModified": 1634090417,
|
|
"narHash": "sha256-GGRQSC+dBFtynnwHCG65bdzygXK058NJ92boHGXz8Gg=",
|
|
"owner": "nixos",
|
|
"repo": "nixpkgs",
|
|
"rev": "c9ddb803ce95c0ec2ab4d57ba29f136b8ce9fe71",
|
|
"type": "github"
|
|
},
|
|
"original": {
|
|
"owner": "nixos",
|
|
"repo": "nixpkgs",
|
|
"type": "github"
|
|
}
|
|
},
|
|
"nixpkgs-agda": {
|
|
"locked": {
|
|
"lastModified": 1624913309,
|
|
"narHash": "sha256-HHZTzHgLuoOmTrHckl9eGG8UWTp32pYXmCoOjgQYIB4=",
|
|
"owner": "nixos",
|
|
"repo": "nixpkgs",
|
|
"rev": "860b56be91fb874d48e23a950815969a7b832fbc",
|
|
"type": "github"
|
|
},
|
|
"original": {
|
|
"owner": "nixos",
|
|
"repo": "nixpkgs",
|
|
"rev": "860b56be91fb874d48e23a950815969a7b832fbc",
|
|
"type": "github"
|
|
}
|
|
},
|
|
"plfa": {
|
|
"flake": false,
|
|
"locked": {
|
|
"lastModified": 1628614312,
|
|
"narHash": "sha256-e5wLKKjabrZesjAd5p5sXeYW28LXoZPGY2jp6cnB9qM=",
|
|
"owner": "plfa",
|
|
"repo": "plfa.github.io",
|
|
"rev": "8fec0eb208e48401908414347d060767af48309f",
|
|
"type": "github"
|
|
},
|
|
"original": {
|
|
"owner": "plfa",
|
|
"repo": "plfa.github.io",
|
|
"rev": "8fec0eb208e48401908414347d060767af48309f",
|
|
"type": "github"
|
|
}
|
|
},
|
|
"root": {
|
|
"inputs": {
|
|
"flake-utils": "flake-utils",
|
|
"nixpkgs": "nixpkgs",
|
|
"nixpkgs-agda": "nixpkgs-agda",
|
|
"plfa": "plfa"
|
|
}
|
|
}
|
|
},
|
|
"root": "root",
|
|
"version": 7
|
|
}
|