b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

agda-pkg: 0.1.50 -> 0.1.51

Browse source
This commit is contained in:
R. RyanTM 2020-10-15 07:20:50 +00:00
parent 9e1943edc0
commit 32b2d0d50b
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkgs/development/tools/agda-pkg/default.nix
View file

@ -4,13 +4,13 @@ with python3Packages;
buildPythonApplication rec { buildPythonApplication rec {
pname = "agda-pkg"; pname = "agda-pkg";
version = "0.1.50"; version = "0.1.51";
disabled = pythonOlder "3.6"; disabled = pythonOlder "3.6";
src = fetchPypi { src = fetchPypi {
inherit pname version; inherit pname version;
sha256 = "0wpw90kw3danw91m3jzfdn7zmclimmiz74f77mpij9b1w6wvhm11"; sha256 = "ee370889a1558caf45930d9f898dbe248048078e1e7e3ee17382bf574dc795f2";
}; };
# Checks need internet access, so we just check the program executes # Checks need internet access, so we just check the program executes