From d4fa3e2e547ff4483e87c1a3975447a5b6894739 Mon Sep 17 00:00:00 2001
From: Peter Simons <simons@cryp.to>
Date: Wed, 9 Jul 2014 11:36:45 +0200
Subject: [PATCH] Rename 'idea_community_1313' attribute to 'idea_community',
 i.e. drop the version number so that it's possible to refer to some "default
 version of the package" without knowing what version number that actually is.

The same applies to idea_ultimate_1313.
---
 pkgs/applications/editors/idea/default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/applications/editors/idea/default.nix b/pkgs/applications/editors/idea/default.nix
index 9296b294940..cc9c5d93ad8 100644
--- a/pkgs/applications/editors/idea/default.nix
+++ b/pkgs/applications/editors/idea/default.nix
@@ -64,7 +64,7 @@ let
 
 in {
 
-  idea_community_1313 = buildIdea rec {
+  idea_community = buildIdea rec {
     name = "idea-community-${version}";
     version = "13.1.3";
     build = "IC-135.909";
@@ -76,7 +76,7 @@ in {
     };
   };
 
-  idea_ultimate_1313 = buildIdea rec {
+  idea_ultimate = buildIdea rec {
     name = "idea-ultimate-${version}";
     version = "13.1.3";
     build = "IU-135.909";