diff options
| author | Pascal Wittmann <mail@pascal-wittmann.de> | 2014-12-21 00:00:35 +0100 |
|---|---|---|
| committer | Pascal Wittmann <mail@pascal-wittmann.de> | 2014-12-21 00:00:35 +0100 |
| commit | f94580da695808d04626775d6aa3864a91b735b2 (patch) | |
| tree | 9d2abf593c6b89bb6a6c20f2ea7f2b9205fb758b /pkgs/applications/science/logic | |
| parent | f55545c0c9256f61b7e1bb952da59770da0fe392 (diff) | |
| download | nixlib-f94580da695808d04626775d6aa3864a91b735b2.tar nixlib-f94580da695808d04626775d6aa3864a91b735b2.tar.gz nixlib-f94580da695808d04626775d6aa3864a91b735b2.tar.bz2 nixlib-f94580da695808d04626775d6aa3864a91b735b2.tar.lz nixlib-f94580da695808d04626775d6aa3864a91b735b2.tar.xz nixlib-f94580da695808d04626775d6aa3864a91b735b2.tar.zst nixlib-f94580da695808d04626775d6aa3864a91b735b2.zip | |
Fix license attribute of many bsd-like licensed packages
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/hol/default.nix | 2 | ||||
| -rw-r--r-- | pkgs/applications/science/logic/leo2/default.nix | 2 | ||||
| -rw-r--r-- | pkgs/applications/science/logic/spass/default.nix | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/hol/default.nix b/pkgs/applications/science/logic/hol/default.nix index dc8e975ce1d1..a7cdf7f3097d 100644 --- a/pkgs/applications/science/logic/hol/default.nix +++ b/pkgs/applications/science/logic/hol/default.nix @@ -69,6 +69,6 @@ stdenv.mkDerivation { checking. ''; homepage = "http://hol.sourceforge.net/"; - license = "BSD"; + license = stdenv.lib.licenses.bsd3; }; } diff --git a/pkgs/applications/science/logic/leo2/default.nix b/pkgs/applications/science/logic/leo2/default.nix index 8f673eb0f15a..95012f90a944 100644 --- a/pkgs/applications/science/logic/leo2/default.nix +++ b/pkgs/applications/science/logic/leo2/default.nix @@ -55,7 +55,7 @@ rec { ]; platforms = with a.lib.platforms; linux; - license = "BSD"; + license = a.lib.licenses.bsd3; inherit (sourceInfo) version; homepage = "http://page.mi.fu-berlin.de/cbenzmueller/leo/"; downloadPage = "http://page.mi.fu-berlin.de/cbenzmueller/leo/download.html"; diff --git a/pkgs/applications/science/logic/spass/default.nix b/pkgs/applications/science/logic/spass/default.nix index 2c6144baf0e8..5327ed6a42aa 100644 --- a/pkgs/applications/science/logic/spass/default.nix +++ b/pkgs/applications/science/logic/spass/default.nix @@ -38,7 +38,7 @@ rec { ]; platforms = with a.lib.platforms; linux; - license = "BSD"; + license = a.lib.licenses.bsd2; }; passthru = { updateInfo = { |