From d215144cc9296aaa94fc39a67c7053403f1f1b55 Mon Sep 17 00:00:00 2001
From: danbst <abcz2.uprola@gmail.com>
Date: Tue, 20 Aug 2019 17:32:20 +0300
Subject: [PATCH] agdaIowaStdlib: 1.4.0 -> 1.5.0
https://hydra.nixos.org/build/98831905
---
pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix | 4 ++--
1 file 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 = [ "./." ];