diff options
| author | volth <volth@volth.com> | 2019-08-15 12:41:18 +0000 |
|---|---|---|
| committer | Jörg Thalheim <Mic92@users.noreply.github.com> | 2019-08-15 13:41:18 +0100 |
| commit | 46420bbaa3f8f79ce7b9ee68e98eba1f7bce2db6 (patch) | |
| tree | 46b871987347acf0215f8a9bf54df275aed9c496 /pkgs/applications/science/logic/tlaplus | |
| parent | cff9e6429a4341e924594f5e057b03ca8101b314 (diff) | |
treewide: name -> pname (easy cases) (#66585)
treewide replacement of
stdenv.mkDerivation rec {
name = "*-${version}";
version = "*";
to pnameDiffstat (limited to 'pkgs/applications/science/logic/tlaplus')
| -rw-r--r-- | pkgs/applications/science/logic/tlaplus/default.nix | 2 | ||||
| -rw-r--r-- | pkgs/applications/science/logic/tlaplus/tlaps.nix | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/tlaplus/default.nix b/pkgs/applications/science/logic/tlaplus/default.nix index b1eb171b20b1a..b1c72d7c5ee75 100644 --- a/pkgs/applications/science/logic/tlaplus/default.nix +++ b/pkgs/applications/science/logic/tlaplus/default.nix @@ -3,7 +3,7 @@ }: stdenv.mkDerivation rec { - name = "tlaplus-${version}"; + pname = "tlaplus"; version = "1.5.6"; src = fetchFromGitHub { diff --git a/pkgs/applications/science/logic/tlaplus/tlaps.nix b/pkgs/applications/science/logic/tlaplus/tlaps.nix index 7d35f5f91df3f..7c8389688d95d 100644 --- a/pkgs/applications/science/logic/tlaplus/tlaps.nix +++ b/pkgs/applications/science/logic/tlaplus/tlaps.nix @@ -4,7 +4,7 @@ }: stdenv.mkDerivation rec { - name = "tlaps-${version}"; + pname = "tlaps"; version = "1.4.3"; src = fetchurl { url = "https://tla.msr-inria.inria.fr/tlaps/dist/current/tlaps-${version}.tar.gz"; |