diff options
Diffstat (limited to 'pkgs/development/tools/agda-pkg')
| -rw-r--r-- | pkgs/development/tools/agda-pkg/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/tools/agda-pkg/default.nix b/pkgs/development/tools/agda-pkg/default.nix index 0d93694b50f..7c4ddb8a688 100644 --- a/pkgs/development/tools/agda-pkg/default.nix +++ b/pkgs/development/tools/agda-pkg/default.nix @@ -4,13 +4,13 @@ with python3Packages; buildPythonApplication rec { pname = "agda-pkg"; - version = "0.1.50"; + version = "0.1.51"; disabled = pythonOlder "3.6"; src = fetchPypi { inherit pname version; - sha256 = "0wpw90kw3danw91m3jzfdn7zmclimmiz74f77mpij9b1w6wvhm11"; + sha256 = "ee370889a1558caf45930d9f898dbe248048078e1e7e3ee17382bf574dc795f2"; }; # Checks need internet access, so we just check the program executes |