diff options
Diffstat (limited to 'nixpkgs/pkgs/applications/science/logic/aspino/default.nix')
-rw-r--r-- | nixpkgs/pkgs/applications/science/logic/aspino/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/nixpkgs/pkgs/applications/science/logic/aspino/default.nix b/nixpkgs/pkgs/applications/science/logic/aspino/default.nix index c1cf9034c02a..f9cc97893da8 100644 --- a/nixpkgs/pkgs/applications/science/logic/aspino/default.nix +++ b/nixpkgs/pkgs/applications/science/logic/aspino/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, fetchFromGitHub, zlib, boost }: +{ lib, stdenv, fetchurl, fetchFromGitHub, zlib, boost }: let glucose' = fetchurl { @@ -38,7 +38,7 @@ stdenv.mkDerivation { runHook postInstall ''; - meta = with stdenv.lib; { + meta = with lib; { description = "SAT/PseudoBoolean/MaxSat/ASP solver using glucose"; maintainers = with maintainers; [ gebner ]; platforms = platforms.unix; |