Some issues with Nix

[ablearthy]

{
  description = "Description";

  inputs = {
    # nixpkgs.url = "github:NixOS/nixpkgs/nixpkgs-unstable";
    flake-utils.url = "github:numtide/flake-utils";
    vscoq.url = "github:coq-community/vscoq";
    vscoq.inputs.nixpkgs.follows = "nixpkgs";
  };

  outputs = { self, nixpkgs, vscoq, flake-utils }:
    flake-utils.lib.eachDefaultSystem (system:
      let
        pkgs = nixpkgs.legacyPackages.${system};
        devTools = with pkgs; [
          bashInteractive
          
          coqPackages.coq
          coqPackages.mathcomp-ssreflect

          vscoq.packages.${system}.vscoq-language-server
        ];
      in {
        devShell = pkgs.mkShell ({
          buildInputs = devTools;
        });
      }
    );
}

Fails at line

From mathcomp Require Import ssreflect.

Fixed by removing coq-8_18 from inputs and using coq from nixpkgs, not coq-8_18.

Related #686.

[ablearthy]

Closed by #717