From 7e02feba1496f8f006a5e50549a220cc4fa80384 Mon Sep 17 00:00:00 2001
From: Romain Tetley <romain.tetley@inria.fr>
Date: Thu, 15 Feb 2024 13:52:16 +0100
Subject: [PATCH] Fix dev shells in flake

---
 flake.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/flake.nix b/flake.nix
index f65836b4..0bc034ba 100644
--- a/flake.nix
+++ b/flake.nix
@@ -143,6 +143,7 @@
 
     devShells.vscoq-language-server-coq-8-18 = 
         with import nixpkgs { inherit system; };
+        let ocamlPackages = ocaml-ng.ocamlPackages_4_14; in
         mkShell {
             buildInputs =
             self.packages.${system}.vscoq-language-server-coq-8-18.buildInputs;
@@ -150,6 +151,7 @@
         
     devShells.vscoq-language-server-coq-8-19 = 
       with import nixpkgs { inherit system; };
+      let ocamlPackages = ocaml-ng.ocamlPackages_4_14; in
       mkShell {
         buildInputs =
           self.packages.${system}.vscoq-language-server-coq-8-19.buildInputs;
@@ -168,6 +170,7 @@
 
     devShells.default = 
       with import nixpkgs { inherit system; };
+      let ocamlPackages = ocaml-ng.ocamlPackages_4_14; in
       mkShell {
         buildInputs =
           self.packages.${system}.vscoq-language-server-coq-8-19.buildInputs