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/hol | |
| parent | f55545c0c9256f61b7e1bb952da59770da0fe392 (diff) | |
| download | nixpkgs-f94580da695808d04626775d6aa3864a91b735b2.tar nixpkgs-f94580da695808d04626775d6aa3864a91b735b2.tar.gz nixpkgs-f94580da695808d04626775d6aa3864a91b735b2.tar.bz2 nixpkgs-f94580da695808d04626775d6aa3864a91b735b2.tar.lz nixpkgs-f94580da695808d04626775d6aa3864a91b735b2.tar.xz nixpkgs-f94580da695808d04626775d6aa3864a91b735b2.tar.zst nixpkgs-f94580da695808d04626775d6aa3864a91b735b2.zip | |
Fix license attribute of many bsd-like licensed packages
Diffstat (limited to 'pkgs/applications/science/logic/hol')
| -rw-r--r-- | pkgs/applications/science/logic/hol/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/hol/default.nix b/pkgs/applications/science/logic/hol/default.nix index dc8e975ce1d..a7cdf7f3097 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; }; } |