From 29751a10d93bd4ea6cadcec7cbbf1596b805df59 Mon Sep 17 00:00:00 2001
From: Thomas Pani <thomas@informal.systems>
Date: Wed, 24 May 2023 08:25:24 +0000
Subject: [PATCH] Update flake.lock

Update the nix flake lock file.

This fixes the outdated glibc version, as described here:
https://github.com/informalsystems/apalache/pull/2565#issuecomment-1559128722

I updated to a fixed revision from Jan 2023, to pull in an old version of ocaml-mdx.
This is a workaround for the following regressions in later versions of mdx:
https://github.com/realworldocaml/mdx/issues/428

To update nix flake inputs to a specific revision, I ran:

    nix flake update --override-input nixpkgs github:NixOS/nixpkgs/<rev>
---
 flake.lock | 32 +++++++++++++++++++++++++-------
 1 file changed, 25 insertions(+), 7 deletions(-)

diff --git a/flake.lock b/flake.lock
index 722e88613b..cfb04de4d9 100644
--- a/flake.lock
+++ b/flake.lock
@@ -1,12 +1,15 @@
 {
   "nodes": {
     "flake-utils": {
+      "inputs": {
+        "systems": "systems"
+      },
       "locked": {
-        "lastModified": 1634851050,
-        "narHash": "sha256-N83GlSGPJJdcqhUxSCS/WwW5pksYf3VP1M13cDRTSVA=",
+        "lastModified": 1681202837,
+        "narHash": "sha256-H+Rh19JDwRtpVPAWp64F+rlEtxUWBAQW28eAi3SRSzg=",
         "owner": "numtide",
         "repo": "flake-utils",
-        "rev": "c91f3de5adaf1de973b797ef7485e441a65b8935",
+        "rev": "cfacdce06f30d2b68473a46042957675eebb3401",
         "type": "github"
       },
       "original": {
@@ -17,11 +20,11 @@
     },
     "nixpkgs": {
       "locked": {
-        "lastModified": 1635295995,
-        "narHash": "sha256-sGYiXjFlxTTMNb4NSkgvX+knOOTipE6gqwPUQpxNF+c=",
-        "owner": "nixos",
+        "lastModified": 1674888906,
+        "narHash": "sha256-Nw1lgrAQG++uzYQc1SilzGdeoy9RZ/HwcKlbaAp1rTE=",
+        "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "22a500a3f87bbce73bd8d777ef920b43a636f018",
+        "rev": "76be8d2d04a00e5e2df6fa147dfc4797874edc97",
         "type": "github"
       },
       "original": {
@@ -36,6 +39,21 @@
         "flake-utils": "flake-utils",
         "nixpkgs": "nixpkgs"
       }
+    },
+    "systems": {
+      "locked": {
+        "lastModified": 1681028828,
+        "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=",
+        "owner": "nix-systems",
+        "repo": "default",
+        "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nix-systems",
+        "repo": "default",
+        "type": "github"
+      }
     }
   },
   "root": "root",