Idris2/flake.lock

59 lines
1.4 KiB
Plaintext
Raw Normal View History

2021-01-15 20:20:52 +03:00
{
"nodes": {
2021-03-15 17:21:50 +03:00
"flake-utils": {
"locked": {
"lastModified": 1614513358,
"narHash": "sha256-LakhOx3S1dRjnh0b5Dg3mbZyH0ToC9I8Y2wKSkBaTzU=",
"owner": "numtide",
"repo": "flake-utils",
"rev": "5466c5bbece17adaab2d82fae80b46e807611bf3",
"type": "github"
},
"original": {
"owner": "numtide",
"repo": "flake-utils",
"type": "github"
}
},
"idris-emacs-src": {
"flake": false,
"locked": {
"lastModified": 1613351183,
"narHash": "sha256-ngg48SzrR2LCtjle3WR3BOK86USRB0ZXmgXWu9EzQbo=",
"owner": "redfish64",
"repo": "idris2-mode",
"rev": "77390611a934f13e03a45e9f8a4e476dd17a9c5b",
"type": "github"
},
"original": {
"owner": "redfish64",
"repo": "idris2-mode",
"type": "github"
}
},
2021-01-15 20:20:52 +03:00
"nixpkgs": {
"locked": {
2021-03-15 17:21:50 +03:00
"lastModified": 1614810944,
"narHash": "sha256-mDpk7kP5nRRMhXZDjGQUIoq+3mUgixPXt93md0fI46E=",
2021-01-15 20:20:52 +03:00
"owner": "NixOS",
"repo": "nixpkgs",
2021-03-15 17:21:50 +03:00
"rev": "d485a4db259470c19872ef6bf13ef4a0c5b2bb3c",
2021-01-15 20:20:52 +03:00
"type": "github"
},
"original": {
"id": "nixpkgs",
"type": "indirect"
}
},
"root": {
"inputs": {
2021-03-15 17:21:50 +03:00
"flake-utils": "flake-utils",
"idris-emacs-src": "idris-emacs-src",
2021-01-15 20:20:52 +03:00
"nixpkgs": "nixpkgs"
}
}
},
"root": "root",
"version": 7
}