ghc-ieee754/ghc-ieee754.spec
Fedora Release Engineering 5ade475d15 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2018-02-07 11:48:10 +00:00

79 lines
1.9 KiB
RPMSpec

# generated by cabal-rpm-0.12.1
# https://fedoraproject.org/wiki/Packaging:Haskell
%global pkg_name ieee754
%global pkgver %{pkg_name}-%{version}
Name: ghc-%{pkg_name}
Version: 0.8.0
Release: 12%{?dist}
Summary: Utilities for dealing with IEEE floating point numbers
License: BSD
Url: https://hackage.haskell.org/package/%{pkg_name}
Source0: https://hackage.haskell.org/package/%{pkgver}/%{pkgver}.tar.gz
BuildRequires: ghc-Cabal-devel
BuildRequires: ghc-rpm-macros
%description
Utilities for dealing with IEEE floating point numbers, ported from the Tango
math library; approximate and exact equality comparisons for general types.
%package devel
Summary: Haskell %{pkg_name} library development files
Provides: %{name}-static = %{version}-%{release}
Provides: %{name}-doc = %{version}-%{release}
%if %{defined ghc_version}
Requires: ghc-compiler = %{ghc_version}
Requires(post): ghc-compiler = %{ghc_version}
Requires(postun): ghc-compiler = %{ghc_version}
%endif
Requires: %{name}%{?_isa} = %{version}-%{release}
%description devel
This package provides the Haskell %{pkg_name} library development files.
%prep
%setup -q -n %{pkgver}
%build
%ghc_lib_build
%install
%ghc_lib_install
%post devel
%ghc_pkg_recache
%postun devel
%ghc_pkg_recache
%files -f %{name}.files
%license LICENSE
%files devel -f %{name}-devel.files
%doc CHANGELOG LICENSE.Tango
%changelog
* Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.0-12
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Fri Jan 26 2018 Jens Petersen <petersen@redhat.com> - 0.8.0-11
- rebuild
* 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