diff options
| author | R. RyanTM <ryantm-bot@ryantm.com> | 2020-10-15 07:20:50 +0000 |
|---|---|---|
| committer | R. RyanTM <ryantm-bot@ryantm.com> | 2020-10-15 07:20:50 +0000 |
| commit | 32b2d0d50b866293cf778209cf987feb0cb87949 (patch) | |
| tree | c71494b5ce14efe24207c45d325b2b352ee8bae0 /pkgs/development/tools/agda-pkg | |
| parent | 9e1943edc03c14854295d47001c2b46d7d2472de (diff) | |
| download | nixlib-32b2d0d50b866293cf778209cf987feb0cb87949.tar nixlib-32b2d0d50b866293cf778209cf987feb0cb87949.tar.gz nixlib-32b2d0d50b866293cf778209cf987feb0cb87949.tar.bz2 nixlib-32b2d0d50b866293cf778209cf987feb0cb87949.tar.lz nixlib-32b2d0d50b866293cf778209cf987feb0cb87949.tar.xz nixlib-32b2d0d50b866293cf778209cf987feb0cb87949.tar.zst nixlib-32b2d0d50b866293cf778209cf987feb0cb87949.zip | |
agda-pkg: 0.1.50 -> 0.1.51
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 0d93694b50fe..7c4ddb8a6883 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 |