diff options
Diffstat (limited to 'pkgs/development/libraries/fplll/20160331.nix')
-rw-r--r-- | pkgs/development/libraries/fplll/20160331.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/libraries/fplll/20160331.nix b/pkgs/development/libraries/fplll/20160331.nix index 1fd18254e10f4..aabbfd14a78bf 100644 --- a/pkgs/development/libraries/fplll/20160331.nix +++ b/pkgs/development/libraries/fplll/20160331.nix @@ -5,8 +5,8 @@ stdenv.mkDerivation rec { pname = "fplll"; version = "20160331"; src = fetchFromGitHub { - owner = "${pname}"; - repo = "${pname}"; + owner = pname; + repo = pname; rev = "11dea26c2f9396ffb7a7191aa371343f1f74c5c3"; sha256 = "1clxch9hbr30w6s84m2mprxv58adhg5qw6sa2p3jr1cy4r7r59ib"; }; |