From 262f161f42c4e59beec41c6f440336c38385426a Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Wed, 20 Dec 2023 20:46:00 -0600 Subject: Initial commit --- flake.lock | 38 +++++++++++++++++++------------------- 1 file changed, 19 insertions(+), 19 deletions(-) (limited to 'flake.lock') diff --git a/flake.lock b/flake.lock index 7560b91..18744dd 100644 --- a/flake.lock +++ b/flake.lock @@ -29,8 +29,9 @@ "type": "github" }, "original": { - "id": "flake-utils", - "type": "indirect" + "owner": "numtide", + "repo": "flake-utils", + "type": "github" } }, "flake-utils_2": { @@ -66,15 +67,16 @@ }, "nixpkgs": { "locked": { - "lastModified": 1703117891, - "narHash": "sha256-E7p42UknHFHoBmHz+xuqK6S0gvKrvMWoN28ld1iGbAc=", - "owner": "NixOS", + "lastModified": 1682362401, + "narHash": "sha256-/UMUHtF2CyYNl4b60Z2y4wwTTdIWGKhj9H301EDcT9M=", + "owner": "nixos", "repo": "nixpkgs", - "rev": "b7976f22c685f9c6e28be644806f0f1901813203", + "rev": "884ac294018409e0d1adc0cae185439a44bd6b0b", "type": "github" }, "original": { - "owner": "NixOS", + "owner": "nixos", + "ref": "nixos-unstable", "repo": "nixpkgs", "type": "github" } @@ -84,13 +86,9 @@ "flake-compat": "flake-compat", "flake-utils": "flake-utils_2", "mirage-opam-overlays": "mirage-opam-overlays", - "nixpkgs": [ - "nixpkgs" - ], + "nixpkgs": "nixpkgs", "opam-overlays": "opam-overlays", - "opam-repository": [ - "opam-repository" - ], + "opam-repository": "opam-repository", "opam2json": "opam2json" }, "locked": { @@ -126,11 +124,11 @@ "opam-repository": { "flake": false, "locked": { - "lastModified": 1703021868, - "narHash": "sha256-7E9uT7tc6qcJrr/oTWY3wgtQawM4zymtyn8k0hCwjko=", + "lastModified": 1701363371, + "narHash": "sha256-DeiPIuWNDSOxvlF41YPae7UpVGZLf7/E3qp2JMerovg=", "owner": "ocaml", "repo": "opam-repository", - "rev": "1a01639f743228bcd2b03a3a610c8c2b88bbd944", + "rev": "bc52affc41b55ff00c0d3ac9a376538d79695aaf", "type": "github" }, "original": { @@ -163,9 +161,11 @@ "root": { "inputs": { "flake-utils": "flake-utils", - "nixpkgs": "nixpkgs", - "opam-nix": "opam-nix", - "opam-repository": "opam-repository" + "nixpkgs": [ + "opam-nix", + "nixpkgs" + ], + "opam-nix": "opam-nix" } }, "systems": { -- cgit v1.2.3