From d930b7f16fc3f0f3e1ed654eeeeca134db96aa29 Mon Sep 17 00:00:00 2001
From: Quentin Aristote <quentin@aristote.fr>
Date: Sun, 13 Feb 2022 18:23:53 +0100
Subject: improve default venv-manager config

---
 home/config/dotfiles/venv-manager.nix | 6 ++++--
 1 file 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"
     '';
   };
 }
-- 
cgit v1.2.3