From ea1ad25e63faeddba9b537db464f263f19f871a7 Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Jul 01 2018 08:45:39 +0000
Subject: update to 0.15


---

diff --git a/.gitignore b/.gitignore
index 30739e9..47e0370 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,3 +3,4 @@
 /filemanip-0.3.6.3.tar.gz
 /agda-stdlib-0.11.tar.gz
 /agda-stdlib-0.13.tar.gz
+/agda-stdlib-0.15.tar.gz
diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec
index fec6111..1f10ab6 100644
--- a/Agda-stdlib.spec
+++ b/Agda-stdlib.spec
@@ -3,8 +3,8 @@
 # - https://fedoraproject.org/wiki/PackagingDrafts/Haskell
 
 Name:           Agda-stdlib
-Version:        0.13
-Release:        4%{?dist}
+Version:        0.15
+Release:        1%{?dist}
 Summary:        Agda standard libraries
 
 Group:          Development/Libraries
@@ -69,6 +69,9 @@ rm README.agdai README/*.agdai
 
 
 %changelog
+* Sun Jul  1 2018 Jens Petersen <petersen@redhat.com> - 0.15-1
+- update to 0.15 for Agda-2.5.3
+
 * Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-4
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
 
diff --git a/sources b/sources
index b7a2c08..efedba0 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (agda-stdlib-0.13.tar.gz) = 340a7b9cb15793cdbe99f558a32eaab3476b94b4d43d45bdc92c6b368197d075c977fd2f6ce0c5b0baf584289a2218b07dd030ad2b83f6d9e4bc7effee91eece
+SHA512 (agda-stdlib-0.15.tar.gz) = 4274b73ea2fa3bd778e345ee9459fa31c01b47ddf127b733efd572ca65a531ab49bdcd09cff2600b9229aad23cee55324653c62280421676036ff587f64abb4b