1 files changed, 2 insertions, 0 deletions
diff --git a/flake.nix b/flake.nix
index e24a033..1814c76 100644
--- a/flake.nix
+++ b/flake.nix
@@ -33,6 +33,8 @@
     almanac.flake = false;
     feeds.url = "path:/home/stuebinm/nonpublic.nix";
     feeds.flake = false;
+    isabelle-utils.url = "git+https://stuebinm.eu/git/isabelle-utils";
+    isabelle-utils.flake = false;
 
     gtfsBooks.url = "git+https://stuebinm.eu/git/gtfs-books?ref=main";
     gtfsBooks.flake = false;