2022-09-23 22:45:38 +00:00
|
|
|
{ buildPythonApplication, fetchFromGitHub, feedparser, matrix-nio, docopt, aiohttp, aiofiles,
|
2021-08-31 19:35:23 +00:00
|
|
|
mypy }:
|
|
|
|
|
|
|
|
|
|
buildPythonApplication rec {
|
|
|
|
|
pname = "mediawiki-matrix-bot";
|
|
|
|
|
version = "1.0.0";
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
|
owner = "nix-community";
|
|
|
|
|
repo = "mediawiki-matrix-bot";
|
|
|
|
|
rev = "v${version}";
|
|
|
|
|
sha256 = "1923097j1xh34jmm0zhmvma614jcxaagj89c1fc1j2qyv14ybsvs";
|
|
|
|
|
};
|
|
|
|
|
propagatedBuildInputs = [
|
|
|
|
|
feedparser matrix-nio docopt aiohttp aiofiles
|
|
|
|
|
];
|
|
|
|
|
nativeBuildInputs = [
|
|
|
|
|
mypy
|
|
|
|
|
];
|
2022-09-24 08:53:56 +00:00
|
|
|
|
|
|
|
|
doCheck = false;
|
2022-09-23 20:48:01 +00:00
|
|
|
#checkInputs = [
|
|
|
|
|
# types-aiofiles
|
|
|
|
|
#];
|
|
|
|
|
#checkPhase = ''
|
|
|
|
|
# mypy --strict mediawiki_matrix_bot
|
|
|
|
|
#'';
|
2021-08-31 19:35:23 +00:00
|
|
|
}
|
