Hello community, here is the log from the commit of package ghc-simple-smt for openSUSE:Factory checked in at 2017-09-15 22:31:08 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/ghc-simple-smt (Old) and /work/SRC/openSUSE:Factory/.ghc-simple-smt.new (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "ghc-simple-smt" Fri Sep 15 22:31:08 2017 rev:2 rq:526172 version:0.7.0 Changes: -------- --- /work/SRC/openSUSE:Factory/ghc-simple-smt/ghc-simple-smt.changes 2016-11-02 12:38:07.000000000 +0100 +++ /work/SRC/openSUSE:Factory/.ghc-simple-smt.new/ghc-simple-smt.changes 2017-09-15 22:31:10.736584351 +0200 @@ -1,0 +2,6 @@ +Wed Sep 13 08:22:19 UTC 2017 - [email protected] + +- Update to version 0.7.0. + A more detailed change log is not available. + +------------------------------------------------------------------- Old: ---- simple-smt-0.6.0.tar.gz New: ---- simple-smt-0.7.0.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ ghc-simple-smt.spec ++++++ --- /var/tmp/diff_new_pack.GIvwXr/_old 2017-09-15 22:31:11.288506606 +0200 +++ /var/tmp/diff_new_pack.GIvwXr/_new 2017-09-15 22:31:11.292506042 +0200 @@ -1,7 +1,7 @@ # # spec file for package ghc-simple-smt # -# 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,26 +18,23 @@ %global pkg_name simple-smt Name: ghc-%{pkg_name} -Version: 0.6.0 +Version: 0.7.0 Release: 0 Summary: A simple way to interact with an SMT solver process License: BSD-3-Clause -Group: System/Libraries -Url: https://hackage.haskell.org/package/%{pkg_name} +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 BuildRequires: ghc-Cabal-devel -# Begin cabal-rpm deps: BuildRequires: ghc-process-devel BuildRequires: ghc-rpm-macros -BuildRoot: %{_tmppath}/%{name}-%{version}-build -# End cabal-rpm deps %description A simple way to interact with an SMT solver process. %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} @@ -49,15 +46,12 @@ %prep %setup -q -n %{pkg_name}-%{version} - %build %ghc_lib_build - %install %ghc_lib_install - %post devel %ghc_pkg_recache @@ -65,10 +59,9 @@ %ghc_pkg_recache %files -f %{name}.files -%defattr(-,root,root,-) %doc LICENSE %files devel -f %{name}-devel.files -%defattr(-,root,root,-) +%doc CHANGES %changelog ++++++ simple-smt-0.6.0.tar.gz -> simple-smt-0.7.0.tar.gz ++++++ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/simple-smt-0.6.0/SimpleSMT.hs new/simple-smt-0.7.0/SimpleSMT.hs --- old/simple-smt-0.6.0/SimpleSMT.hs 2015-04-01 01:50:25.000000000 +0200 +++ new/simple-smt-0.7.0/SimpleSMT.hs 2017-02-17 01:47:22.000000000 +0100 @@ -167,6 +167,7 @@ -- | Parse an s-expression. readSExpr :: String -> Maybe (SExpr, String) readSExpr (c : more) | isSpace c = readSExpr more +readSExpr (';' : more) = readSExpr $ drop 1 $ dropWhile (/= '\n') more readSExpr ('(' : more) = do (xs,more1) <- list more return (List xs, more1) where diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/simple-smt-0.6.0/simple-smt.cabal new/simple-smt-0.7.0/simple-smt.cabal --- old/simple-smt-0.6.0/simple-smt.cabal 2015-04-01 01:50:25.000000000 +0200 +++ new/simple-smt-0.7.0/simple-smt.cabal 2017-02-17 01:47:22.000000000 +0100 @@ -1,5 +1,5 @@ name: simple-smt -version: 0.6.0 +version: 0.7.0 synopsis: A simple way to interact with an SMT solver process. description: A simple way to interact with an SMT solver process. license: BSD3
