bump release over Agda

2017-12-26 11:01:10 +01:00 · 2017-12-26 11:01:10 +01:00 · e2ed9332be
commit e2ed9332be
parent 412267aaba
3 changed files with 6 additions and 1 deletions
--- a/.gitignore
+++ b/.gitignore
@ -0,0 +1 @@
+/ieee754-0.8.0.tar.gz
--- a/ghc-ieee754.spec
+++ b/ghc-ieee754.spec
@ -6,7 +6,7 @@

 Name:           ghc-%{pkg_name}
 Version:        0.8.0
-Release:        1%{?dist}
+Release:        10%{?dist}
 Summary:        Utilities for dealing with IEEE floating point numbers

 License:        BSD
@ -65,5 +65,8 @@ This package provides the Haskell %{pkg_name} library development files.


 %changelog
+* Tue Dec 26 2017 Jens Petersen <petersen@redhat.com> - 0.8.0-10
+- bump release over Agda
+
 * Wed Dec 20 2017 Fedora Haskell SIG <haskell@lists.fedoraproject.org> - 0.8.0-1
 - spec file generated by cabal-rpm-0.12
--- a/1
+++ b/1
@ -0,0 +1 @@
+SHA512 (ieee754-0.8.0.tar.gz) = d75b619f0c0b9ac496a68997b6d79b3d7504221f1583e7c35ecc035b6e2b11559e402264f36827153aa89d9eabb27d9383413eb5fd157385b3f41c4f0050a43b
				`@ -0,0 +1 @@`
				`SHA512 (ieee754-0.8.0.tar.gz) = d75b619f0c0b9ac496a68997b6d79b3d7504221f1583e7c35ecc035b6e2b11559e402264f36827153aa89d9eabb27d9383413eb5fd157385b3f41c4f0050a43b`