add: codexis & pi

2026-04-10 15:50:12 -04:00
parent d5942d9fb0
commit 1b340d43e0
7 changed files with 172 additions and 0 deletions
--- a/modules/home/common/default.nix
+++ b/modules/home/common/default.nix
@@ -2,9 +2,11 @@
 {

  home.packages = with pkgs; [
+    sqlite-interactive
    jnv
    jq
    ncdu
    ripgrep
+    reichard.codexis
  ];
 }