diff --git a/pkgs/applications/science/logic/coq/default.8.3.nix b/pkgs/applications/science/logic/coq/8.3.nix
similarity index 100%
rename from pkgs/applications/science/logic/coq/default.8.3.nix
rename to pkgs/applications/science/logic/coq/8.3.nix