From 23938ae63eefd2dd267383118b4a9a8e291ec7dc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9ana=20=E6=B1=9F?= <leana.jiang+git@icloud.com>
Date: Mon, 29 Dec 2025 21:10:35 +0100
Subject: [PATCH] vanadium/hoogle: use port 3001

---
 nix/configurations/vanadium/nixos/programs.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/nix/configurations/vanadium/nixos/programs.nix b/nix/configurations/vanadium/nixos/programs.nix
index b3e3ec6d..9a0f4318 100644
--- a/nix/configurations/vanadium/nixos/programs.nix
+++ b/nix/configurations/vanadium/nixos/programs.nix
@@ -81,6 +81,7 @@
 
   services.hoogle = {
     enable = true;
+    port = 3001; # leave 8080 for other stuff
     packages =
       haskellPackages: with haskellPackages; [
         optparse-applicative