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

idris: prefix package derivation names with "idris-"

This commit is contained in:
Silvan Mosberger 2018-07-13 22:43:33 +02:00
parent cb12f601d7
commit 1d94e4c363
No known key found for this signature in database
GPG Key ID: 9424360B4B85C9E7
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/idris-modules/build-idris-package.nix
View File

@ -20,7 +20,7 @@ let
}; };
in in
stdenv.mkDerivation ({ stdenv.mkDerivation ({
name = "${name}-${version}"; name = "idris-${name}-${version}";
buildInputs = [ idris-with-packages gmp ] ++ extraBuildInputs; buildInputs = [ idris-with-packages gmp ] ++ extraBuildInputs;
propagatedBuildInputs = allIdrisDeps; propagatedBuildInputs = allIdrisDeps;