From eafd2008f14ec5d428eb01ad44e58d5dd7412fe8 Mon Sep 17 00:00:00 2001 From: Russell O'Connor Date: Sun, 19 Aug 2012 01:06:15 -0400 Subject: [PATCH] Correcting filename. --- pkgs/applications/science/logic/coq/{default.8.3.nix => 8.3.nix} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename pkgs/applications/science/logic/coq/{default.8.3.nix => 8.3.nix} (100%) 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