From 7f1509aba6962b9972764252ffb3081583a6bda7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B8rn=20Forsman?= <bjorn.forsman@gmail.com>
Date: Sat, 11 May 2013 11:50:29 +0200
Subject: [PATCH] ninja: use version attribute

...to avoid the risk of downloading a different version than the package
name suggests (i.e. on the next version bump).
---
 pkgs/development/tools/build-managers/ninja/default.nix | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/pkgs/development/tools/build-managers/ninja/default.nix b/pkgs/development/tools/build-managers/ninja/default.nix
index b6f8e111f88e..6edf6d78878d 100644
--- a/pkgs/development/tools/build-managers/ninja/default.nix
+++ b/pkgs/development/tools/build-managers/ninja/default.nix
@@ -1,10 +1,11 @@
 { stdenv, fetchurl, unzip, python, asciidoc, re2c }:
 
 stdenv.mkDerivation rec {
-  name = "ninja-1.2.0";
+  name = "ninja-${version}";
+  version = "1.2.0";
 
   src = fetchurl {
-    url = "https://github.com/martine/ninja/archive/v1.2.0.zip";
+    url = "https://github.com/martine/ninja/archive/v${version}.zip";
     sha256 = "15ynh806ah37bqb57hcs3mj2g82900sncp6n3bssfggb4azgjlh3";
   };