flake.lock

{
  "nodes": {
    "cakemlsrc": {
      "flake": false,
      "locked": {
        "lastModified": 1693252991,
        "narHash": "sha256-w0UDqrS8qL4nQvzFZW8P52tNerHpm5uHtWpMSfcxBv0=",
        "owner": "cakeml",
        "repo": "cakeml",
        "rev": "a500b998760b855e6d32428c2e39ce0f69a89131",
        "type": "github"
      },
      "original": {
        "owner": "cakeml",
        "repo": "cakeml",
        "rev": "a500b998760b855e6d32428c2e39ce0f69a89131",
        "type": "github"
      }
    },
    "holsrc": {
      "flake": false,
      "locked": {
        "lastModified": 1693204413,
        "narHash": "sha256-oKo/d9SX7OdVnPRhyrWENe8/TE9xdy3SLr/0YA9diTg=",
        "owner": "HOL-Theorem-Prover",
        "repo": "HOL",
        "rev": "56875629a42860effd84a80abd66e63a4c7a4961",
        "type": "github"
      },
      "original": {
        "owner": "HOL-Theorem-Prover",
        "repo": "HOL",
        "rev": "56875629a42860effd84a80abd66e63a4c7a4961",
        "type": "github"
      }
    },
    "nixpkgs": {
      "locked": {
        "lastModified": 1694937365,
        "narHash": "sha256-iHZSGrb9gVpZRR4B2ishUN/1LRKWtSHZNO37C8z1SmA=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "5d017a8822e0907fb96f7700a319f9fe2434de02",
        "type": "github"
      },
      "original": {
        "owner": "NixOS",
        "ref": "nixos-23.05",
        "repo": "nixpkgs",
        "type": "github"
      }
    },
    "root": {
      "inputs": {
        "cakemlsrc": "cakemlsrc",
        "holsrc": "holsrc",
        "nixpkgs": "nixpkgs"
      }
    }
  },
  "root": "root",
  "version": 7
}