Hello community, here is the log from the commit of package ghc-dejafu for openSUSE:Factory checked in at 2017-04-20 20:55:42 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/ghc-dejafu (Old) and /work/SRC/openSUSE:Factory/.ghc-dejafu.new (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "ghc-dejafu" Thu Apr 20 20:55:42 2017 rev:2 rq:487958 version:0.4.0.0 Changes: -------- --- /work/SRC/openSUSE:Factory/ghc-dejafu/ghc-dejafu.changes 2017-04-07 13:53:09.988666780 +0200 +++ /work/SRC/openSUSE:Factory/.ghc-dejafu.new/ghc-dejafu.changes 2017-04-20 20:55:44.247345584 +0200 @@ -1,0 +2,10 @@ +Thu Sep 15 06:42:33 UTC 2016 - [email protected] + +- Update to version 0.4.0.0 revision 0 with cabal2obs. + +------------------------------------------------------------------- +Mon Jul 25 11:17:37 UTC 2016 - [email protected] + +- Update to version 0.3.2.1 revision 0 with cabal2obs. + +------------------------------------------------------------------- Old: ---- dejafu-0.3.2.0.tar.gz New: ---- dejafu-0.4.0.0.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ ghc-dejafu.spec ++++++ --- /var/tmp/diff_new_pack.x52dYw/_old 2017-04-20 20:55:45.027235297 +0200 +++ /var/tmp/diff_new_pack.x52dYw/_new 2017-04-20 20:55:45.031234731 +0200 @@ -1,7 +1,7 @@ # # spec file for package ghc-dejafu # -# Copyright (c) 2016 SUSE LINUX GmbH, Nuernberg, Germany. +# 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 @@ -18,32 +18,27 @@ %global pkg_name dejafu Name: ghc-%{pkg_name} -Version: 0.3.2.0 +Version: 0.4.0.0 Release: 0 -Summary: Overloadable primitives for testable, potentially non-deterministic, concurrency +Summary: Systematic testing for Haskell concurrency License: MIT -Group: System/Libraries +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 -# Begin cabal-rpm deps: -BuildRequires: ghc-array-devel -BuildRequires: ghc-atomic-primops-devel +BuildRequires: ghc-concurrency-devel BuildRequires: ghc-containers-devel BuildRequires: ghc-deepseq-devel BuildRequires: ghc-dpor-devel BuildRequires: ghc-exceptions-devel -BuildRequires: ghc-monad-control-devel BuildRequires: ghc-monad-loops-devel BuildRequires: ghc-mtl-devel +BuildRequires: ghc-ref-fd-devel BuildRequires: ghc-rpm-macros BuildRequires: ghc-semigroups-devel -BuildRequires: ghc-stm-devel -BuildRequires: ghc-template-haskell-devel BuildRequires: ghc-transformers-base-devel BuildRequires: ghc-transformers-devel BuildRoot: %{_tmppath}/%{name}-%{version}-build -# End cabal-rpm deps %description /[Déjà Fu is] A martial art in which the user's limbs move in time as well as @@ -56,17 +51,16 @@ abstract-par> provides deterministic parallelism, but sometimes we can tolerate a bit of nondeterminism. -This package provides a class of monads for potentially nondeterministic -concurrency, with an interface in the spirit of GHC's normal concurrency -abstraction. - -== 'MonadConc' with 'IO': - -The intention of the 'MonadConc' class is to provide concurrency where any -apparent nondeterminism arises purely from the scheduling behaviour. -To put it another way, a given computation, parametrised with a fixed set of -scheduling decisions, is deterministic. This assumption is used by the testing -functionality provided by Test.DejaFu. +This package builds on the <https://hackage.haskell.org/package/concurrency +concurrency> package by enabling you to systematically and deterministically +test your concurrent programs. + +== Déjà Fu with 'IO': + +The core assumption underlying Déjà Fu is that any apparent nondeterminism +arises purely from the scheduling behaviour. To put it another way, a given +computation, parametrised with a fixed set of scheduling decisions, is +deterministic. Whilst this assumption may not hold in general when 'IO' is involved, you should strive to produce test cases where it does. @@ -110,15 +104,12 @@ %prep %setup -q -n %{pkg_name}-%{version} - %build %ghc_lib_build - %install %ghc_lib_install - %post devel %ghc_pkg_recache ++++++ dejafu-0.3.2.0.tar.gz -> dejafu-0.4.0.0.tar.gz ++++++ ++++ 6913 lines of diff (skipped)
