From d8858e48e2a0dac6ae50d0945688a1a0d4b554aa Mon Sep 17 00:00:00 2001
From: Austin Seipp <aseipp@pobox.com>
Date: Wed, 9 Sep 2015 07:48:55 -0500
Subject: nixpkgs/jonprl: minor touchups

Signed-off-by: Austin Seipp <aseipp@pobox.com>
---
 pkgs/applications/science/logic/jonprl/default.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'pkgs/applications/science')

diff --git a/pkgs/applications/science/logic/jonprl/default.nix b/pkgs/applications/science/logic/jonprl/default.nix
index 77d617467b4b..7620aa3e3e03 100644
--- a/pkgs/applications/science/logic/jonprl/default.nix
+++ b/pkgs/applications/science/logic/jonprl/default.nix
@@ -1,13 +1,13 @@
 { fetchgit, stdenv, smlnj, which }:
 
 stdenv.mkDerivation rec {
-  name = "JonPRL";
-  version = "v0.1.0";
+  name    = "jonprl-${version}";
+  version = "0.1.0";
 
   src = fetchgit {
     url = "https://github.com/jonsterling/JonPRL.git";
     deepClone = true;
-    rev = "refs/tags/${version}";
+    rev = "refs/tags/v${version}";
     sha256 = "1z0d8dq1nb4dycic58nnk617hbfgafz0vmwr8gkl0i6405gfg1zy";
   };
 
-- 
cgit 1.4.1