diff options
| -rw-r--r-- | home/config/dotfiles/venv-manager.nix | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/home/config/dotfiles/venv-manager.nix b/home/config/dotfiles/venv-manager.nix index 6eb6ba2..6ae1314 100644 --- a/home/config/dotfiles/venv-manager.nix +++ b/home/config/dotfiles/venv-manager.nix @@ -1,4 +1,4 @@ -{ lib, ... }: +{ lib, pkgs, ... }: { direnv.enable = lib.mkDefault true; @@ -23,13 +23,15 @@ ocaml.tuareg.enable = lib.mkDefault true; + coq.coq = pkgs.coq_8_15.override { buildIde = false; }; + why3 = { defaultEditor = "emacsclient -c"; extraConfig = '' [prover] editor = "" name = "Coq" - version = "8.13.2" + version = "8.15+rc1" ''; }; } |