From df36dcd1dffbf5c5e7b51f1b7ee958fd4db74047 Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Sun, 12 Mar 2017 22:22:32 +0900
Subject: [PATCH] update to 0.13

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

diff --git a/.gitignore b/.gitignore
index 53e52ea..30739e9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,3 +2,4 @@
 /agda-stdlib-0.9.tar.gz
 /filemanip-0.3.6.3.tar.gz
 /agda-stdlib-0.11.tar.gz
+/agda-stdlib-0.13.tar.gz
diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec
index 443ca24..08da79d 100644
--- a/Agda-stdlib.spec
+++ b/Agda-stdlib.spec
@@ -3,8 +3,8 @@
 # - https://fedoraproject.org/wiki/PackagingDrafts/Haskell
 
 Name:           Agda-stdlib
-Version:        0.11
-Release:        2%{?dist}
+Version:        0.13
+Release:        1%{?dist}
 Summary:        Agda standard libraries
 
 Group:          Development/Libraries
@@ -49,9 +49,6 @@ generated by the Agda compiler program.
 %ghc_bin_build
 dist/build/GenerateEverything/GenerateEverything
 
-cd ffi
-%ghc_lib_build agda-lib-ffi %{version}
-cd ..
 agda -i. -isrc Everything.agda
 
 agda --html -i. -isrc README.agda
@@ -59,33 +56,21 @@ agda --html -i. -isrc README.agda
 
 %install
 HOME=$PWD
-cd ffi
-%ghc_lib_install agda-lib-ffi %{version}
-./Setup register --inplace
-mv *.files ..
-cd ..
-cat ghc-agda-lib-ffi*.files > haskell-ffi.files
 
 mkdir -p %{buildroot}%{_datadir}/%{name}
 cp -pr Everything.agda* src/* %{buildroot}%{_datadir}/%{name}
 
+install -p -m 0644 standard-library.agda-lib %{buildroot}%{_datadir}/%{name}/
+
 
 %check
 agda -i. -isrc README.agda
 rm README.agdai README/*.agdai
 
 
-%post
-%ghc_pkg_recache
-
-
-%postun
-%ghc_pkg_recache
-
-
-%files -f haskell-ffi.files
-%license LICENSE
-%doc CHANGELOG README*
+%files
+%license LICENCE
+%doc CHANGELOG.md README*
 %{_datadir}/%{name}
 
 
@@ -95,6 +80,10 @@ rm README.agdai README/*.agdai
 
 
 %changelog
+* Sun Mar 12 2017 Jens Petersen <petersen@redhat.com> - 0.13-1
+- update to 0.13
+- install standard-library.agda-lib package file
+
 * Fri Feb 10 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.11-2
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
 
diff --git a/sources b/sources
index f56a825..b7a2c08 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-beceb0d239ce694668472e6f3f1dfeff  agda-stdlib-0.11.tar.gz
+SHA512 (agda-stdlib-0.13.tar.gz) = 340a7b9cb15793cdbe99f558a32eaab3476b94b4d43d45bdc92c6b368197d075c977fd2f6ce0c5b0baf584289a2218b07dd030ad2b83f6d9e4bc7effee91eece