diff options
author | Austin Seipp <aseipp@pobox.com> | 2015-09-09 07:48:55 -0500 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2015-09-09 07:48:55 -0500 |
commit | d8858e48e2a0dac6ae50d0945688a1a0d4b554aa (patch) | |
tree | 5a6e87c29f31f7583bb9b6580833e30f8edc6990 /pkgs/applications/science | |
parent | eaf48b23e9b2dd60ca30160909169eae7f4cba40 (diff) | |
download | nixlib-d8858e48e2a0dac6ae50d0945688a1a0d4b554aa.tar nixlib-d8858e48e2a0dac6ae50d0945688a1a0d4b554aa.tar.gz nixlib-d8858e48e2a0dac6ae50d0945688a1a0d4b554aa.tar.bz2 nixlib-d8858e48e2a0dac6ae50d0945688a1a0d4b554aa.tar.lz nixlib-d8858e48e2a0dac6ae50d0945688a1a0d4b554aa.tar.xz nixlib-d8858e48e2a0dac6ae50d0945688a1a0d4b554aa.tar.zst nixlib-d8858e48e2a0dac6ae50d0945688a1a0d4b554aa.zip |
nixpkgs/jonprl: minor touchups
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/applications/science')
-rw-r--r-- | pkgs/applications/science/logic/jonprl/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
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"; }; |