diff options
| author | danbst <abcz2.uprola@gmail.com> | 2019-08-20 17:32:20 +0300 |
|---|---|---|
| committer | danbst <abcz2.uprola@gmail.com> | 2019-08-20 17:32:20 +0300 |
| commit | d215144cc9296aaa94fc39a67c7053403f1f1b55 (patch) | |
| tree | f0c8987bb6c85822038488d05cab7687e9bf55aa /pkgs | |
| parent | bc185504caf67ce70119da6e631df98ce5d04aca (diff) | |
| download | nixpkgs-d215144cc9296aaa94fc39a67c7053403f1f1b55.tar nixpkgs-d215144cc9296aaa94fc39a67c7053403f1f1b55.tar.gz nixpkgs-d215144cc9296aaa94fc39a67c7053403f1f1b55.tar.bz2 nixpkgs-d215144cc9296aaa94fc39a67c7053403f1f1b55.tar.lz nixpkgs-d215144cc9296aaa94fc39a67c7053403f1f1b55.tar.xz nixpkgs-d215144cc9296aaa94fc39a67c7053403f1f1b55.tar.zst nixpkgs-d215144cc9296aaa94fc39a67c7053403f1f1b55.zip | |
agdaIowaStdlib: 1.4.0 -> 1.5.0
https://hydra.nixos.org/build/98831905
Diffstat (limited to 'pkgs')
| -rw-r--r-- | pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix b/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix index 3ab4ed3e962..e2d64841985 100644 --- a/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix +++ b/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix @@ -1,14 +1,14 @@ { stdenv, agda, fetchFromGitHub }: agda.mkDerivation (self: rec { - version = "1.4.0"; + version = "1.5.0"; name = "agda-iowa-stdlib-${version}"; src = fetchFromGitHub { owner = "cedille"; repo = "ial"; rev = "v${version}"; - sha256 = "1gwxpybxwdj5ipbb3gapm7r5hfl3g6sj9kp13954pdmx8d5b0gma"; + sha256 = "0dlis6v6nzbscf713cmwlx8h9n2gxghci8y21qak3hp18gkxdp0g"; }; sourceDirectories = [ "./." ]; |