Coq environment

shell.nix

let
  overlays = [
    (self: super: with self; {
      coq = coq_8_10;
      coq_8_10 = (super.coq_8_10.override { buildIde = false; });
      coqPackages = coqPackages_8_10;
      coqPackages_8_10 = (super.coqPackages_8_10.overrideScope' (self: super: {
        inherit coq;
      }));
    })
  ];
in

with import <nixpkgs> { inherit overlays; };

mkShell {
  buildInputs = with coqPackages; [ coq ];
}