From a22971ac6dfa6b29d1f0ce1163000f5f947c8209 Mon Sep 17 00:00:00 2001
From: Jeremy Wall <jeremy@marzhillstudios.com>
Date: Wed, 28 Aug 2024 23:43:52 -0400
Subject: [PATCH] fix: reference the subdirectory of the source flake

---
 nix/base-system/flake.lock           | 2 --
 nix/base-system/flake.nix            | 2 +-
 nix/packages/quint/node-packages.nix | 2 +-
 3 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/nix/base-system/flake.lock b/nix/base-system/flake.lock
index 6e92c5a..32c908f 100644
--- a/nix/base-system/flake.lock
+++ b/nix/base-system/flake.lock
@@ -806,7 +806,6 @@
     "quint-src": {
       "flake": false,
       "locked": {
-        "dir": "quint",
         "lastModified": 1722257041,
         "narHash": "sha256-VjAvaFO/OdqIYPqTNbbBZl7ah1GPGMVQJltZYkJx5IY=",
         "owner": "informalsystems",
@@ -815,7 +814,6 @@
         "type": "github"
       },
       "original": {
-        "dir": "quint",
         "owner": "informalsystems",
         "ref": "v0.21.1",
         "repo": "quint",
diff --git a/nix/base-system/flake.nix b/nix/base-system/flake.nix
index 49408b4..e75608a 100644
--- a/nix/base-system/flake.nix
+++ b/nix/base-system/flake.nix
@@ -59,7 +59,7 @@
     };
     heracles-flake.url = "github:zaphar/Heracles";
     quint-src = {
-        url = "github:informalsystems/quint/v0.21.1?dir=quint";
+        url = "github:informalsystems/quint/v0.21.1";
         flake = false;
     };
   };
diff --git a/nix/packages/quint/node-packages.nix b/nix/packages/quint/node-packages.nix
index 0fadb1c..05e9640 100644
--- a/nix/packages/quint/node-packages.nix
+++ b/nix/packages/quint/node-packages.nix
@@ -693,7 +693,7 @@ let
     name = "_at_informalsystems_slash_quint";
     packageName = "@informalsystems/quint";
     version = "0.21.1";
-    src = quint-src;
+    src = "${quint-src}/quint";
     dependencies = [
       sources."@grpc/grpc-js-1.11.1"
       sources."@grpc/proto-loader-0.7.13"