From 13253bac3d9d8ba68145849007464c262db67b32 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9ana=20=E6=B1=9F?= <leana.jiang+git@icloud.com>
Date: Thu, 12 Jun 2025 10:35:07 +0200
Subject: [PATCH] vanadium: -hbrainfuck -prop-solveur -lucky-commit

---
 nix/configurations/vanadium/home/programs.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/nix/configurations/vanadium/home/programs.nix b/nix/configurations/vanadium/home/programs.nix
index 5fb8e480..53e4e415 100644
--- a/nix/configurations/vanadium/home/programs.nix
+++ b/nix/configurations/vanadium/home/programs.nix
@@ -43,9 +43,9 @@
         pkgs.easyscan
 
         # fun
-        pkgs.prop-solveur
-        pkgs.hbrainfuck
-        pkgs.lucky-commit
+        # pkgs.prop-solveur
+        # pkgs.hbrainfuck
+        # pkgs.lucky-commit
 
         # research
         pkgs.necrolib