You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
44 lines
963 B
44 lines
963 B
{ lib, python3Packages }:
|
|
|
|
with python3Packages;
|
|
|
|
buildPythonApplication rec {
|
|
pname = "agda-pkg";
|
|
version = "0.1.51";
|
|
|
|
disabled = pythonOlder "3.6";
|
|
|
|
src = fetchPypi {
|
|
inherit pname version;
|
|
sha256 = "ee370889a1558caf45930d9f898dbe248048078e1e7e3ee17382bf574dc795f2";
|
|
};
|
|
|
|
# Checks need internet access, so we just check the program executes
|
|
# At the moment the help page needs to write to $HOME, this can
|
|
# be removed if https://github.com/agda/agda-pkg/issues/40 is fixed
|
|
checkPhase = ''
|
|
HOME=$NIX_BUILD_TOP $out/bin/apkg --help > /dev/null
|
|
'';
|
|
|
|
propagatedBuildInputs = [
|
|
click
|
|
GitPython
|
|
pony
|
|
whoosh
|
|
natsort
|
|
click-log
|
|
requests
|
|
humanize
|
|
distlib
|
|
jinja2
|
|
pyyaml
|
|
ponywhoosh
|
|
];
|
|
|
|
meta = with lib; {
|
|
homepage = "https://agda.github.io/agda-pkg/";
|
|
description = "Package manager for Agda";
|
|
license = licenses.mit;
|
|
maintainers = with maintainers; [ alexarice ];
|
|
};
|
|
}
|
|
|