diff options
| author | Quentin Aristote <quentin@aristote.fr> | 2022-02-13 18:23:53 +0100 |
|---|---|---|
| committer | Quentin Aristote <quentin@aristote.fr> | 2022-02-13 18:23:53 +0100 |
| commit | d930b7f16fc3f0f3e1ed654eeeeca134db96aa29 (patch) | |
| tree | f4bca78055c4c112ee7ac09ceeeef1b566c95240 /home | |
| parent | 1590d2510263b560655512aef42f5ece7cc1520f (diff) | |
improve default venv-manager config
Diffstat (limited to 'home')
| -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" ''; }; } |