From 837c8f8888f08df6fa8b6f77aa6045899db36934 Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Thu, 25 Apr 2024 16:00:07 -0300
Subject: etc/guix/home.scm: Add z3 and compcert packages

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

(limited to 'etc/guix')

diff --git a/etc/guix/home.scm b/etc/guix/home.scm
index 41e28cc..c4da330 100644
--- a/etc/guix/home.scm
+++ b/etc/guix/home.scm
@@ -270,6 +270,7 @@
             cryptsetup
             btrfs-progs
 
+            z3
             frama-c
             go
             go-github-com-mattn-go-sqlite3
@@ -304,6 +305,7 @@
             cppcheck
             clang
             tcc
+            compcert
             xrandr
             arandr
 
-- 
cgit v1.2.3