From 60694d6f970efaa5f9bcadeb34718637b756bff2 Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Wed, 27 May 2020 01:24:43 +0800
Subject: [PATCH] update to 1.2 release

---
 .gitignore       | 1 +
 Agda-stdlib.spec | 8 ++++++--
 sources          | 2 +-
 3 files changed, 8 insertions(+), 3 deletions(-)

diff --git a/.gitignore b/.gitignore
index 4268449..2220543 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,3 +6,4 @@
 /agda-stdlib-0.15.tar.gz
 /agda-stdlib-0.17.tar.gz
 /agda-stdlib-1.1.tar.gz
+/agda-stdlib-1.2.tar.gz
diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec
index 64391d2..80d36c1 100644
--- a/Agda-stdlib.spec
+++ b/Agda-stdlib.spec
@@ -1,8 +1,8 @@
 # https://fedoraproject.org/wiki/Packaging:Haskell
 
 Name:           Agda-stdlib
-Version:        1.1
-Release:        2%{?dist}
+Version:        1.2
+Release:        1%{?dist}
 Summary:        Agda standard libraries
 
 License:        MIT
@@ -74,6 +74,10 @@ agda -i. -isrc README.agda
 
 
 %changelog
+* Tue May 26 2020 Jens Petersen <petersen@redhat.com> - 1.2-1
+- update to 1.2
+- https://github.com/agda/agda-stdlib/blob/v1.2/CHANGELOG.md
+
 * Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-2
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
 
diff --git a/sources b/sources
index 84a58fa..d189f1a 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (agda-stdlib-1.1.tar.gz) = 1d73b6bbac70653b6be13714fdb3c077600ab08809ea8a3741e54d94e1e11294ed5adb30b17cc3073d7942451a53c9a7d005d1c6a4541b78fbfd50fdffe24c74
+SHA512 (agda-stdlib-1.2.tar.gz) = 0007a591bf8cf5470ec63381b511692afd2e5665b6894a8864b30a17e02e8294a39d1522a815f66ac2e0175502bd6ad8da7f01f55c6900b6923a5140f4b714ca