coqPackages.CoLoR 1.4.0 -> 1.6.0
coqPackages.CoLoR 1.4.0 -> 1.6.0

The package is now developed on GitHub, so fetchurl was replace with
fetchFromGithub.

NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs