diff options
| author | Tobias Geerinckx-Rice <tobias.geerinckx.rice@gmail.com> | 2015-05-28 19:20:29 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <tobias.geerinckx.rice@gmail.com> | 2015-05-28 19:20:29 +0200 |
| commit | 158e1cfdd0ddb8380e266dcf16a4167455335bc3 (patch) | |
| tree | 1437b0590a546a7900c83518efa96dfc4e2e310a /pkgs/applications/science/logic | |
| parent | 831d597bfab70bf2952f9573b2cacc9d1c56de1c (diff) | |
| download | nixlib-158e1cfdd0ddb8380e266dcf16a4167455335bc3.tar nixlib-158e1cfdd0ddb8380e266dcf16a4167455335bc3.tar.gz nixlib-158e1cfdd0ddb8380e266dcf16a4167455335bc3.tar.bz2 nixlib-158e1cfdd0ddb8380e266dcf16a4167455335bc3.tar.lz nixlib-158e1cfdd0ddb8380e266dcf16a4167455335bc3.tar.xz nixlib-158e1cfdd0ddb8380e266dcf16a4167455335bc3.tar.zst nixlib-158e1cfdd0ddb8380e266dcf16a4167455335bc3.zip | |
Don't use "with licenses;" for single licences
And don't use square brackets on such lines.
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/lci/default.nix | 2 | ||||
| -rw-r--r-- | pkgs/applications/science/logic/stp/default.nix | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/lci/default.nix b/pkgs/applications/science/logic/lci/default.nix index e2aff9313e95..d7f047b84e0f 100644 --- a/pkgs/applications/science/logic/lci/default.nix +++ b/pkgs/applications/science/logic/lci/default.nix @@ -11,6 +11,6 @@ stdenv.mkDerivation rec { description = ''Lambda calculus interpreter''; maintainers = with stdenv.lib.maintainers; [raskin]; platforms = with stdenv.lib.platforms; linux; - license = with stdenv.lib.licenses; gpl3; + license = stdenv.lib.licenses.gpl3; }; } diff --git a/pkgs/applications/science/logic/stp/default.nix b/pkgs/applications/science/logic/stp/default.nix index cfe96bc6983a..444bb06c4a00 100644 --- a/pkgs/applications/science/logic/stp/default.nix +++ b/pkgs/applications/science/logic/stp/default.nix @@ -18,6 +18,6 @@ stdenv.mkDerivation rec { description = ''Simple Theorem Prover''; maintainers = with stdenv.lib.maintainers; [mornfall]; platforms = with stdenv.lib.platforms; linux; - license = with stdenv.lib.licenses; mit; + license = stdenv.lib.licenses.mit; }; } |