diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2013-11-05 00:04:36 +0100 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2013-11-05 00:06:10 +0100 |
| commit | c88055e1a2703fbc7dd1d072f273626afe1d6b97 (patch) | |
| tree | 2da58486fd17c40014dba39894dc91594bbe4632 /pkgs/applications/science/logic/tptp/default.nix | |
| parent | a2cbc77e4f1cf55a9c142d07377f67b0f83985ec (diff) | |
| download | nixpkgs-c88055e1a2703fbc7dd1d072f273626afe1d6b97.tar nixpkgs-c88055e1a2703fbc7dd1d072f273626afe1d6b97.tar.gz nixpkgs-c88055e1a2703fbc7dd1d072f273626afe1d6b97.tar.bz2 nixpkgs-c88055e1a2703fbc7dd1d072f273626afe1d6b97.tar.lz nixpkgs-c88055e1a2703fbc7dd1d072f273626afe1d6b97.tar.xz nixpkgs-c88055e1a2703fbc7dd1d072f273626afe1d6b97.tar.zst nixpkgs-c88055e1a2703fbc7dd1d072f273626afe1d6b97.zip | |
Set meta.hydraPlatforms instead of meta.platforms for some packages
Diffstat (limited to 'pkgs/applications/science/logic/tptp/default.nix')
| -rw-r--r-- | pkgs/applications/science/logic/tptp/default.nix | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/tptp/default.nix b/pkgs/applications/science/logic/tptp/default.nix index 5c8cb720324..68d1cca7e73 100644 --- a/pkgs/applications/science/logic/tptp/default.nix +++ b/pkgs/applications/science/logic/tptp/default.nix @@ -74,8 +74,7 @@ rec { # A GiB of data. Installation is unpacking and editing a few files. # No sense in letting Hydra build it. # Also, it is unclear what is covered by "verbatim" - we will edit configs - platforms = with a.lib.platforms; - []; + hydraPlatforms = []; license = "verbatim-redistribution"; }; passthru = { |