the return of coq

2025-03-10 01:48:14 -05:00 · 2025-03-10 01:48:14 -05:00 · 208baf5b55
parent 21add68cc1
commit 208baf5b55
1 changed files with 2 additions and 0 deletions
--- a/user/prog.nix
+++ b/user/prog.nix
@ -23,6 +23,8 @@ lib.mkIf config.u.has.prog {
      patchelf
      lazygit
      pyp
+      coq
+      coqPackages.coqide
    ]
    ++ lib.optionals config.u.has.graphical [
      (cutter.withPlugins (ps: with ps; [jsdec rz-ghidra sigdb]))