Hello community,
here is the log from the commit of package ghc-dependent-sum for
openSUSE:Factory checked in at 2017-05-16 14:39:26
Comparing /work/SRC/openSUSE:Factory/ghc-dependent-sum (Old)
and /work/SRC/openSUSE:Factory/.ghc-dependent-sum.new (New)
Package is "ghc-dependent-sum"
Tue May 16 14:39:26 2017 rev:1 rq:493844 version:0.4
Changes:
New Changes file:
--- /dev/null 2017-03-01 00:40:19.279048016 +0100
+++ /work/SRC/openSUSE:Factory/.ghc-dependent-sum.new/ghc-dependent-sum.changes
2017-05-16 14:39:27.195198630 +0200
@@ -0,0 +1,10 @@
+---
+Sun Feb 12 14:19:25 UTC 2017 - psim...@suse.com
+
+- Update to version 0.4 with cabal2obs.
+
+---
+Sun Jul 10 17:08:11 UTC 2016 - psim...@suse.com
+
+- Update to version 0.3.2.2 revision 0 with cabal2obs.
+
New:
dependent-sum-0.4.tar.gz
ghc-dependent-sum.changes
ghc-dependent-sum.spec
Other differences:
--
++ ghc-dependent-sum.spec ++
#
# spec file for package ghc-dependent-sum
#
# Copyright (c) 2017 SUSE LINUX GmbH, Nuernberg, Germany.
#
# All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed
# upon. The license for this file, and modifications and additions to the
# file, is the same license as for the pristine package itself (unless the
# license for the pristine package is not an Open Source License, in which
# case the license is the MIT License). An "Open Source License" is a
# license that conforms to the Open Source Definition (Version 1.9)
# published by the Open Source Initiative.
# Please submit bugfixes or comments via http://bugs.opensuse.org/
#
%global pkg_name dependent-sum
Name: ghc-%{pkg_name}
Version:0.4
Release:0
Summary:Dependent sum type
License:SUSE-Public-Domain
Group: Development/Languages/Other
Url:https://hackage.haskell.org/package/%{pkg_name}
Source0:
https://hackage.haskell.org/package/%{pkg_name}-%{version}/%{pkg_name}-%{version}.tar.gz
BuildRequires: ghc-Cabal-devel
BuildRequires: ghc-rpm-macros
BuildRoot: %{_tmppath}/%{name}-%{version}-build
%description
A dependent sum is a generalization of a particular way of thinking about the
'Either' type. 'Either a b' can be thought of as a 2-tuple '(tag, value)',
where the value of the tag determines the type of the value. In particular,
either 'tag = Left' and 'value :: a' or 'tag = Right' and 'value :: b'.
This package allows you to define your own dependent sum types by using your
own "tag" types.
%package devel
Summary:Haskell %{pkg_name} library development files
Group: Development/Libraries/Other
Requires: %{name} = %{version}-%{release}
Requires: ghc-compiler = %{ghc_version}
Requires(post): ghc-compiler = %{ghc_version}
Requires(postun): ghc-compiler = %{ghc_version}
%description devel
This package provides the Haskell %{pkg_name} library development files.
%prep
%setup -q -n %{pkg_name}-%{version}
%build
%ghc_lib_build
%install
%ghc_lib_install
%post devel
%ghc_pkg_recache
%postun devel
%ghc_pkg_recache
%files -f %{name}.files
%defattr(-,root,root,-)
%files devel -f %{name}-devel.files
%defattr(-,root,root,-)
%doc examples
%changelog