In particular, to get the fix for #3585 in the Coq bug tracker
Nixpkgs is a collection of packages for Nix package manager. Nixpkgs also includes NixOS linux distribution source code.