Merge pull request #717 from CohenCyril/fix-flake

Nix flakes: Using the right ocamlPackages and updating locks

Author: rtetley

flake.lock

@@ -5,42 +5,28 @@
 
     flake-utils.url = "github:numtide/flake-utils";
 
-    coq-8_18 = {
-      type = "github";
-      owner = "coq";
-      repo = "coq";
-      ref = "V8.18.0";
-    };
-
-    coq-8_18.inputs.nixpkgs.follows = "nixpkgs";
-
   };
 
-  outputs = { self, nixpkgs, flake-utils, coq-8_18 }:
+  outputs = { self, nixpkgs, flake-utils }:
     flake-utils.lib.eachDefaultSystem (system:
 
-   let coq = coq-8_18.defaultPackage.${system}; in
    rec {
 
     packages.default = self.packages.${system}.vscoq-language-server;
 
     packages.vscoq-language-server =
       # Notice the reference to nixpkgs here.
       with import nixpkgs { inherit system; };
-      
+      let ocamlPackages = ocaml-ng.ocamlPackages_4_14; in
       ocamlPackages.buildDunePackage {
         duneVersion = "3";
         pname = "vscoq-language-server";
         version = "2.0.3";
         src = ./language-server;
         buildInputs = [
           coq
-          bash
-          hostname
-          python3
-          time
           dune_3
-        ] ++ (with ocamlPackages; [
+        ] ++ (with coq.ocamlPackages; [
           lablgtk3-sourceview3
           glib
           gnome.adwaita-icon-theme