From 9f942f5a640ba3348a38e459daf9f73cad76da82 Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Tue, 12 Aug 2025 06:33:16 -0300
Subject: etc/guix/home.scm: Disable and mark "frama-c" as broken

---
 etc/guix/home.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'etc')

diff --git a/etc/guix/home.scm b/etc/guix/home.scm
index 4c41c99..74dfc7c 100644
--- a/etc/guix/home.scm
+++ b/etc/guix/home.scm
@@ -363,7 +363,7 @@
 
             tcl
             z3
-            frama-c
+            ;; frama-c ; broken
             clojure
             clojure-core-async
             clojure-core-cache
-- 
cgit v1.2.3