{
  "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
}