update to 0.11

.gitignore

@@ -1,3 +1,4 @@
 /lib-0.7.tar.gz
 /agda-stdlib-0.9.tar.gz
 /filemanip-0.3.6.3.tar.gz
+/agda-stdlib-0.11.tar.gz

Agda-stdlib.spec

@@ -2,12 +2,9 @@
 # - https://fedoraproject.org/wiki/Packaging:Haskell
 # - https://fedoraproject.org/wiki/PackagingDrafts/Haskell
 
-%global ffi_ver 0.0.2
-%global filemanip_ver 0.3.6.3
-
 Name:           Agda-stdlib
-Version:        0.9
-Release:        3%{?dist}
+Version:        0.11
+Release:        1%{?dist}
 Summary:        Agda standard libraries
 
 Group:          Development/Libraries
@@ -15,7 +12,6 @@ License:        MIT
 URL:            http://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.StandardLibrary
 # dl from https://github.com/agda/agda-stdlib/archive/v%{version}.tar.gz
 Source0:        agda-stdlib-%{version}.tar.gz
-Source1:        http://hackage.haskell.org/package/filemanip-%{filemanip_ver}/filemanip-%{filemanip_ver}.tar.gz
 BuildRequires:  ghc-Cabal-devel
 %if 0%{?fedora} >= 20
 BuildRequires: ghc-rpm-macros-extra
@@ -46,23 +42,15 @@ generated by the Agda compiler program.
 
 
 %prep
-%setup -q -n agda-stdlib-%{version} -a1
+%setup -q -n agda-stdlib-%{version}
 
 
 %build
-HOME=$PWD
-%define cabal_configure_options --user
-cd filemanip-%{filemanip_ver}
-%ghc_lib_build filemanip %{filemanip_ver}
-%ghc_lib_install filemanip %{filemanip_ver}
-./Setup register --inplace
-cd ..
-
 %ghc_bin_build
 dist/build/GenerateEverything/GenerateEverything
 
 cd ffi
-%ghc_lib_build agda-lib-ffi %{ffi_ver}
+%ghc_lib_build agda-lib-ffi %{version}
 cd ..
 agda -i. -isrc Everything.agda
 
@@ -72,7 +60,7 @@ agda --html -i. -isrc README.agda
 %install
 HOME=$PWD
 cd ffi
-%ghc_lib_install agda-lib-ffi %{ffi_ver}
+%ghc_lib_install agda-lib-ffi %{version}
 ./Setup register --inplace
 mv *.files ..
 cd ..
@@ -96,15 +84,20 @@ rm README.agdai README/*.agdai
 
 
 %files -f haskell-ffi.files
-%doc CHANGELOG LICENCE README*
+%license LICENSE
+%doc CHANGELOG README*
 %{_datadir}/%{name}
 
 
 %files docs
-%doc LICENCE html
+%license LICENCE
+%doc html
 
 
 %changelog
+* Mon Oct 24 2016 Jens Petersen <petersen@redhat.com> - 0.11-3
+- update to 0.11
+
 * Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 0.9-3
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
 

sources

@@ -1,2 +1 @@
-d22adf380b33b401e786132a4bfc8597  agda-stdlib-0.9.tar.gz
-04d23467ce2e7ac0bc9c01c4e0ebd06c  filemanip-0.3.6.3.tar.gz
+beceb0d239ce694668472e6f3f1dfeff  agda-stdlib-0.11.tar.gz