From 463cbb90c93ac2e825048d685c254431b99c4d96 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 7 Mar 2023 13:25:04 +0100
Subject: Update the Nix flake

---
 flake.lock | 81 +++++++++++++++++++++++++++++++++++++++-----------------------
 1 file changed, 51 insertions(+), 30 deletions(-)

diff --git a/flake.lock b/flake.lock
index 54700a66..a05dbd50 100644
--- a/flake.lock
+++ b/flake.lock
@@ -8,11 +8,11 @@
         "rust-overlay": "rust-overlay_2"
       },
       "locked": {
-        "lastModified": 1674039076,
-        "narHash": "sha256-suqIXDleGoP0dH9BTy4E28miBL49YjP4U3mUNSL/NcQ=",
+        "lastModified": 1678136172,
+        "narHash": "sha256-4XFs4MKtOmJTrer+uIz1t3XP+DeN72Kr6FZB5tdX3Zg=",
         "owner": "aeneasverif",
         "repo": "charon",
-        "rev": "237477805c7158cf51d16d27ea5292e94f6b8f65",
+        "rev": "f2436fd2002084e6e966918ff462eb436f1c64a4",
         "type": "github"
       },
       "original": {
@@ -93,14 +93,17 @@
         "type": "indirect"
       }
     },
-    "fstar-src": {
-      "flake": false,
+    "fstar": {
+      "inputs": {
+        "flake-utils": "flake-utils_2",
+        "nixpkgs": "nixpkgs_2"
+      },
       "locked": {
-        "lastModified": 1673550577,
-        "narHash": "sha256-afYMWnP+E47ou8ds4+0Fdx5i7INsiXUBIMo5MM5MRus=",
+        "lastModified": 1678051679,
+        "narHash": "sha256-AC8dzASxvQQDB1KpBVGRG3Sa/9HZv6Xu+77MA6nbsAw=",
         "owner": "fstarlang",
         "repo": "fstar",
-        "rev": "71dcbd6d5962ada09612306895b56b774ac542c0",
+        "rev": "72e1dc828d2b79234bd5cf26f011f877280f581f",
         "type": "github"
       },
       "original": {
@@ -115,16 +118,13 @@
           "hacl-nix",
           "flake-utils"
         ],
-        "fstar-src": [
+        "fstar": [
           "hacl-nix",
-          "fstar-src"
-        ],
-        "hacl-nix": [
-          "hacl-nix"
+          "fstar"
         ],
-        "karamel-src": [
+        "karamel": [
           "hacl-nix",
-          "karamel-src"
+          "karamel"
         ],
         "nixpkgs": [
           "hacl-nix",
@@ -132,11 +132,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1673961232,
-        "narHash": "sha256-l3hbe8FEUa33Cltnn53q021vorqsf3BoQHN7LZ03mj4=",
+        "lastModified": 1678019549,
+        "narHash": "sha256-TWym/lTC22Y9rXKZZqpN/RR+UzcY2ftcxrc1+uNogkM=",
         "owner": "hacl-star",
         "repo": "hacl-star",
-        "rev": "29b7aa2236527684de23859a1b2b651b813fbb67",
+        "rev": "5ea164d21c553bd3703ed31be9163ad66c2ba0d9",
         "type": "github"
       },
       "original": {
@@ -147,18 +147,26 @@
     },
     "hacl-nix": {
       "inputs": {
-        "flake-utils": "flake-utils_2",
-        "fstar-src": "fstar-src",
+        "flake-utils": [
+          "hacl-nix",
+          "fstar",
+          "flake-utils"
+        ],
+        "fstar": "fstar",
         "hacl": "hacl",
-        "karamel-src": "karamel-src",
-        "nixpkgs": "nixpkgs_2"
+        "karamel": "karamel",
+        "nixpkgs": [
+          "hacl-nix",
+          "fstar",
+          "nixpkgs"
+        ]
       },
       "locked": {
-        "lastModified": 1674001859,
-        "narHash": "sha256-WX5Jqmb4G95wUiqpw9lahK9UuBOvK1VSHRpwRRRuv/M=",
+        "lastModified": 1678067125,
+        "narHash": "sha256-4cU6Ic8273l4X38YAX2jDL3pA3iR4gxgoZIpt5lsEc0=",
         "owner": "hacl-star",
         "repo": "hacl-nix",
-        "rev": "705cabecbd212fec0e95d1fa43e6d7364cb21d1a",
+        "rev": "b30ddd505375c203bbf33445a7755b705b2a900a",
         "type": "github"
       },
       "original": {
@@ -167,14 +175,27 @@
         "type": "github"
       }
     },
-    "karamel-src": {
-      "flake": false,
+    "karamel": {
+      "inputs": {
+        "flake-utils": [
+          "hacl-nix",
+          "flake-utils"
+        ],
+        "fstar": [
+          "hacl-nix",
+          "fstar"
+        ],
+        "nixpkgs": [
+          "hacl-nix",
+          "nixpkgs"
+        ]
+      },
       "locked": {
-        "lastModified": 1673553966,
-        "narHash": "sha256-98g35bic6QpXeFYrRw0BQQj9lObve949hHucbH/V5Wc=",
+        "lastModified": 1677084714,
+        "narHash": "sha256-yjeq6lUpJpqRmL9UIBSoFLbi8TLNY7vsCH2E1SrSfYI=",
         "owner": "fstarlang",
         "repo": "karamel",
-        "rev": "0ce57cbb5b1b16c1bb3801daeb9766c1afcfe084",
+        "rev": "bd359d86d59401b001788468fa7366e741836c02",
         "type": "github"
       },
       "original": {
-- 
cgit v1.2.3