flake.nix uses wrong dependency versions

[MarkusKL]

Some discussion here: #90 Flakes are not supported by the rocq-nix-toolbox (yet): https://github.com/rocq-community/coq-nix-toolbox/issues/359 https://github.com/rocq-community/coq-nix-toolbox/pull/361

I have moved over to developing with nix-shell based environment that uses the correct versions according to the toolbox. Take for example the following shell.nix file:

let
  args = { bundle = "8.20"; inNixShell = true; };
  nixpkgs = import ./default.nix args;
  pkgs = nixpkgs.pkgs;
in pkgs.mkShell {
  packages = with pkgs; [
    coqPackages.coq
    coqPackages.ssprove.propagatedBuildInputs

    coqPackages.coqide
    #... or any other dev environment (vim, emacs, lsp, ...)
  ];
}