diff options
| -rw-r--r-- | etc/guix/home.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/guix/home.scm b/etc/guix/home.scm index fbc8750..cd37968 100644 --- a/etc/guix/home.scm +++ b/etc/guix/home.scm @@ -278,6 +278,7 @@ cryptsetup btrfs-progs + tcl z3 frama-c go |