diff options
| author | EuAndreh <eu@euandre.org> | 2024-04-25 16:00:07 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2024-04-25 16:00:07 -0300 |
| commit | 837c8f8888f08df6fa8b6f77aa6045899db36934 (patch) | |
| tree | 10bd57101d37a78bcc015b3008c1f80642a2a41b | |
| parent | etc/guix/: Remove nss-certs package (diff) | |
| download | dotfiles-837c8f8888f08df6fa8b6f77aa6045899db36934.tar.gz dotfiles-837c8f8888f08df6fa8b6f77aa6045899db36934.tar.xz | |
etc/guix/home.scm: Add z3 and compcert packages
| -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 |