ma pkgs.mediawiki-matrix-bot: init at 1.0.0

This commit is contained in:
makefu 2021-08-31 21:35:23 +02:00
parent 6e9910aa65
commit e6884999a9
No known key found for this signature in database
GPG Key ID: 36F7711F3FC0F225

View File

@ -0,0 +1,22 @@
{ buildPythonApplication, fetchFromGitHub, feedparser, matrix-nio, docopt, aiohttp, aiofiles,
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
];
checkPhase = ''
mypy --strict mediawiki_matrix_bot
'';
}