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 d6190942efab..82458d7c5663 100644 --- a/nixpkgs/pkgs/applications/science/logic/aspino/default.nix +++ b/nixpkgs/pkgs/applications/science/logic/aspino/default.nix @@ -40,10 +40,10 @@ stdenv.mkDerivation { meta = with stdenv.lib; { description = "SAT/PseudoBoolean/MaxSat/ASP solver using glucose"; - maintainers = with maintainers; [ gebner ma27 ]; + maintainers = with maintainers; [ gebner ]; platforms = platforms.unix; license = licenses.asl20; - homepage = http://alviano.net/software/maxino/; + homepage = https://alviano.net/software/maxino/; # See pkgs/applications/science/logic/glucose/default.nix badPlatforms = [ "aarch64-linux" ]; }; |