Merge pull request #89107 from rnhmjoj/pirate-get

pirate-get: 0.3.7 -> 0.4.0
This commit is contained in:
Michele Guerini Rocco 2020-05-28 15:15:17 +02:00 committed by GitHub
commit 888f3cf20d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -4,16 +4,14 @@ with python3Packages;
buildPythonApplication rec { buildPythonApplication rec {
pname = "pirate-get"; pname = "pirate-get";
version = "0.3.7"; version = "0.4.0";
doCheck = false;
src = fetchPypi { src = fetchPypi {
inherit pname version; inherit pname version;
sha256 = "0i87g7f25dzsi5b3swr9gny2zpmrrgygxmr1ps71rjr1n540si9n"; sha256 = "07s5ss9dxccx1mip7pyga1fagywkqchxmzz55ng47ac9053ffxkq";
}; };
propagatedBuildInputs = [ colorama veryprettytable beautifulsoup4 pyperclip ]; propagatedBuildInputs = [ colorama veryprettytable pyperclip ];
meta = with stdenv.lib; { meta = with stdenv.lib; {
description = "A command line interface for The Pirate Bay"; description = "A command line interface for The Pirate Bay";