From e2d7bba73f52285475da813433c703d7df7ae44a Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 27 Apr 2023 16:33:57 +0100
Subject: Update to Coq 8.17 and CompCert 3.12

---
 flake.lock | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'flake.lock')

diff --git a/flake.lock b/flake.lock
index 63ef7a4..a82f06d 100644
--- a/flake.lock
+++ b/flake.lock
@@ -2,11 +2,11 @@
   "nodes": {
     "nixpkgs": {
       "locked": {
-        "lastModified": 1656083042,
-        "narHash": "sha256-G6m/OAIcmoEWeS+DbU70aNv21QB3kZCtJuUo+33s5VY=",
+        "lastModified": 1682591986,
+        "narHash": "sha256-BU5dJ9MmZYsGr1Dnf8p5VV8cSbMKuNiqw4A14/V8pjo=",
         "owner": "nixos",
         "repo": "nixpkgs",
-        "rev": "dc0380bb215ce001fcfccf4609d902115f87ddf9",
+        "rev": "1c8257a313a5eb4d5f86edc2d325a23ff8085b94",
         "type": "github"
       },
       "original": {
-- 
cgit