From 1712d0fee365269a999943b0ab20ffb4feddfb26 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Thu, 23 Jun 2022 11:32:05 +0200
Subject: [PATCH] chore: update LeanInk

Resolves leanprover/LeanInk#20
---
 doc/flake.lock | 6 +++---
 doc/flake.nix  | 6 +++++-
 2 files changed, 8 insertions(+), 4 deletions(-)

diff --git a/doc/flake.lock b/doc/flake.lock
index 8854980679..0588b5eb5f 100644
--- a/doc/flake.lock
+++ b/doc/flake.lock
@@ -85,11 +85,11 @@
     "leanInk": {
       "flake": false,
       "locked": {
-        "lastModified": 1649941279,
-        "narHash": "sha256-buqWjBvCDuuLo3Ijlw3r1yX6AL/HcM4ttskj/u2AhhE=",
+        "lastModified": 1655643380,
+        "narHash": "sha256-sVc2LNQ0/D2DsuRGWfsP/sVsi//jTsoWMVwTeYwS/wQ=",
         "owner": "leanprover",
         "repo": "LeanInk",
-        "rev": "ad9f1b2d518852cd25063d590a7fbea98e047471",
+        "rev": "0a160d91458c1873937449a7c78d25b34b8686df",
         "type": "github"
       },
       "original": {
diff --git a/doc/flake.nix b/doc/flake.nix
index bde1c91374..2d03ca3f0f 100644
--- a/doc/flake.nix
+++ b/doc/flake.nix
@@ -60,8 +60,12 @@
         dontInstall = true;
       };
       leanInk = (buildLeanPackage {
-        name = "LeanInk";
+        name = "Main";
         src = inputs.leanInk;
+        deps = [ (buildLeanPackage {
+          name = "LeanInk";
+          src = inputs.leanInk;
+        }) ];
         executableName = "leanInk";
         linkFlags = ["-rdynamic"];
       }).executable;