public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

nixpkgs/jonprl: minor touchups

Browse Source 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
This commit is contained in:
Austin Seipp 2015-09-09 07:48:55 -05:00
parent eaf48b23e9
commit d8858e48e2
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/applications/science/logic/jonprl/default.nix
View File

@ -1,13 +1,13 @@
{ fetchgit, stdenv, smlnj, which }: { fetchgit, stdenv, smlnj, which }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "JonPRL"; name = "jonprl-${version}";
version = "v0.1.0"; version = "0.1.0";
src = fetchgit { src = fetchgit {
url = "https://github.com/jonsterling/JonPRL.git"; url = "https://github.com/jonsterling/JonPRL.git";
deepClone = true; deepClone = true;
rev = "refs/tags/${version}"; rev = "refs/tags/v${version}";
sha256 = "1z0d8dq1nb4dycic58nnk617hbfgafz0vmwr8gkl0i6405gfg1zy"; sha256 = "1z0d8dq1nb4dycic58nnk617hbfgafz0vmwr8gkl0i6405gfg1zy";
}; };