• CoqIDE
• Coq Nix Toolbox
• Overriding Coq
• Historic Coq versions using Nix
• Nixpkgs Version List