tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{ lib
2, python3Packages
3}:
4
5with python3Packages;
6
7buildPythonApplication rec {
8 pname = "agda-pkg";
9 version = "0.1.51";
10
11 disabled = pythonOlder "3.6";
12
13 src = fetchPypi {
14 inherit pname version;
15 sha256 = "ee370889a1558caf45930d9f898dbe248048078e1e7e3ee17382bf574dc795f2";
16 };
17
18 # Checks need internet access, so we just check the program executes
19 # At the moment the help page needs to write to $HOME, this can
20 # be removed if https://github.com/agda/agda-pkg/issues/40 is fixed
21 checkPhase = ''
22 HOME=$NIX_BUILD_TOP $out/bin/apkg --help > /dev/null
23 '';
24
25 propagatedBuildInputs = [
26 click
27 gitpython
28 pony
29 whoosh
30 natsort
31 click-log
32 requests
33 humanize
34 distlib
35 jinja2
36 pyyaml
37 ponywhoosh
38 ];
39
40 meta = with lib; {
41 homepage = "https://agda.github.io/agda-pkg/";
42 description = "Package manager for Agda";
43 license = licenses.mit;
44 maintainers = with maintainers; [ alexarice ];
45 };
46}