diff options
| -rw-r--r-- | etc/guix/home.scm | 2 |
1 files changed, 2 insertions, 0 deletions
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 |