Hello community, here is the log from the commit of package ghc-presburger for openSUSE:Factory checked in at 2017-09-15 22:31:01 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/ghc-presburger (Old) and /work/SRC/openSUSE:Factory/.ghc-presburger.new (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "ghc-presburger" Fri Sep 15 22:31:01 2017 rev:2 rq:526013 version:1.3.1 Changes: -------- --- /work/SRC/openSUSE:Factory/ghc-presburger/ghc-presburger.changes 2016-10-22 13:18:14.000000000 +0200 +++ /work/SRC/openSUSE:Factory/.ghc-presburger.new/ghc-presburger.changes 2017-09-15 22:31:02.213784913 +0200 @@ -1,0 +2,5 @@ +Thu Aug 3 15:38:38 UTC 2017 - psim...@suse.com + +- Updated with latest spec-cleaner version 0.9.8-8-geadfbbf. + +------------------------------------------------------------------- Old: ---- 1.cabal New: ---- presburger.cabal ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ ghc-presburger.spec ++++++ --- /var/tmp/diff_new_pack.W2nNtl/_old 2017-09-15 22:31:03.657581533 +0200 +++ /var/tmp/diff_new_pack.W2nNtl/_new 2017-09-15 22:31:03.657581533 +0200 @@ -1,7 +1,7 @@ # # spec file for package ghc-presburger # -# 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 @@ -22,21 +22,18 @@ Version: 1.3.1 Release: 0 Summary: A decision procedure for quantifier-free linear arithmetic -License: BSD-3-Clause -Group: System/Libraries -Url: https://hackage.haskell.org/package/%{pkg_name} +License: MIT +Group: Development/Libraries/Haskell +URL: https://hackage.haskell.org/package/%{pkg_name} Source0: https://hackage.haskell.org/package/%{pkg_name}-%{version}/%{pkg_name}-%{version}.tar.gz -Source1: https://hackage.haskell.org/package/%{pkg_name}-%{version}/revision/1.cabal +Source1: https://hackage.haskell.org/package/%{pkg_name}-%{version}/revision/1.cabal#/%{pkg_name}.cabal BuildRequires: ghc-Cabal-devel -# Begin cabal-rpm deps: BuildRequires: ghc-containers-devel BuildRequires: ghc-pretty-devel BuildRequires: ghc-rpm-macros -BuildRoot: %{_tmppath}/%{name}-%{version}-build %if %{with tests} BuildRequires: ghc-QuickCheck-devel %endif -# End cabal-rpm deps %description The decision procedure is based on the algorithm used in CVC4, which is itself @@ -44,7 +41,7 @@ %package devel Summary: Haskell %{pkg_name} library development files -Group: Development/Libraries/Other +Group: Development/Libraries/Haskell Requires: %{name} = %{version}-%{release} Requires: ghc-compiler = %{ghc_version} Requires(post): ghc-compiler = %{ghc_version} @@ -57,20 +54,14 @@ %setup -q -n %{pkg_name}-%{version} cp -p %{SOURCE1} %{pkg_name}.cabal - %build %ghc_lib_build - %install %ghc_lib_install - %check -%if %{with tests} -%{cabal} test -%endif - +%cabal_test %post devel %ghc_pkg_recache @@ -79,10 +70,8 @@ %ghc_pkg_recache %files -f %{name}.files -%defattr(-,root,root,-) %doc LICENSE %files devel -f %{name}-devel.files -%defattr(-,root,root,-) %changelog ++++++ presburger.cabal ++++++ Name: presburger Version: 1.3.1 x-revision: 1 License: BSD3 License-file: LICENSE Author: Iavor S. Diatchki Homepage: http://github.com/yav/presburger Maintainer: diatc...@galois.com Category: Algorithms Synopsis: A decision procedure for quantifier-free linear arithmetic. Description: The decision procedure is based on the algorithm used in CVC4, which is itself based on the Omega test. Build-type: Simple Cabal-version: >= 1.8 library Build-Depends: base >= 4.4 && < 10, containers, pretty hs-source-dirs: src Exposed-modules: Data.Integer.SAT GHC-options: -O2 -Wall source-repository head type: git location: git://github.com/yav/presburger.git Test-Suite pressburger-qc-tests type: exitcode-stdio-1.0 hs-source-dirs: tests main-is: qc.hs build-depends: base, presburger == 1.3.1, QuickCheck
