From def57a00a5ea2d6011cd861d3c1cb79026d0f274ea3927eb43a6365777cbc91f Mon Sep 17 00:00:00 2001 From: Peter Simons Date: Fri, 4 Sep 2020 15:11:07 +0000 Subject: [PATCH] osc copypac from project:devel:languages:haskell:ghc-8.10.x package:ghc-logict revision:2, using keep-link OBS-URL: https://build.opensuse.org/package/show/devel:languages:haskell/ghc-logict?expand=0&rev=37 --- ghc-logict.changes | 65 +++++-------------------------------------- ghc-logict.spec | 6 ++-- logict-0.7.0.2.tar.gz | 3 -- logict-0.7.0.3.tar.gz | 3 ++ 4 files changed, 13 insertions(+), 64 deletions(-) delete mode 100644 logict-0.7.0.2.tar.gz create mode 100644 logict-0.7.0.3.tar.gz diff --git a/ghc-logict.changes b/ghc-logict.changes index 384aadd..f6efa1d 100644 --- a/ghc-logict.changes +++ b/ghc-logict.changes @@ -1,64 +1,13 @@ ------------------------------------------------------------------- -Fri Nov 8 16:14:09 UTC 2019 - Peter Simons +Thu Aug 27 02:04:15 UTC 2020 - psimons@suse.com -- Drop obsolete group attributes. +- Update logict to version 0.7.0.3. + # 0.7.0.3 + + * Support GHC 9.0. ------------------------------------------------------------------- -Sat Jul 20 02:02:44 UTC 2019 - psimons@suse.com +Tue Aug 25 10:19:22 UTC 2020 - psimons@suse.com -- Update logict to version 0.7.0.2. - # 0.7.0.2 +- Add logict at version 0.7.0.2. - * Add `Safe` pragmas. - -------------------------------------------------------------------- -Mon Jul 8 02:01:00 UTC 2019 - psimons@suse.com - -- Update logict to version 0.7.0.1. - # 0.7.0.1 - - * Fix `MonadReader r (LogicT m)` instance again. - -------------------------------------------------------------------- -Sun Jun 30 02:01:08 UTC 2019 - psimons@suse.com - -- Update logict to version 0.7.0.0. - # 0.7.0.0 - - * Remove unlawful `MonadLogic (Writer T w m)` instances. - * Fix `MonadReader r (LogicT m)` instance. - * Move `lnot` into `MonadLogic` class. - -------------------------------------------------------------------- -Wed May 1 02:03:14 UTC 2019 - psimons@suse.com - -- Update logict to version 0.6.0.3. - Upstream added a new change log file in this release. With no - previous version to compare against, the automatic updater cannot - reliable determine the relevante entries for this release. - -------------------------------------------------------------------- -Sat Oct 20 11:31:41 UTC 2018 - Peter Simons - -- Use https URL to refer to bugs.opensuse.org. - -------------------------------------------------------------------- -Wed Jul 18 14:26:31 UTC 2018 - psimons@suse.com - -- Cosmetic: replace tabs with blanks, strip trailing white space, - and update copyright headers with spec-cleaner. - -------------------------------------------------------------------- -Wed May 16 13:06:56 UTC 2018 - psimons@suse.com - -- Prefer the new %license attribute over %doc. - -------------------------------------------------------------------- -Thu Aug 3 15:38:38 UTC 2017 - psimons@suse.com - -- Updated with latest spec-cleaner version 0.9.8-8-geadfbbf. - -------------------------------------------------------------------- -Sun Jul 10 17:30:12 UTC 2016 - psimons@suse.com - -- Update to version 0.6.0.2 revision 0 with cabal2obs. diff --git a/ghc-logict.spec b/ghc-logict.spec index 99afe25..f9d7191 100644 --- a/ghc-logict.spec +++ b/ghc-logict.spec @@ -1,7 +1,7 @@ # # spec file for package ghc-logict # -# Copyright (c) 2019 SUSE LINUX GmbH, Nuernberg, Germany. +# Copyright (c) 2020 SUSE LLC # # All modifications and additions to the file contributed by third parties # remain the property of their copyright owners, unless otherwise agreed @@ -19,7 +19,7 @@ %global pkg_name logict %bcond_with tests Name: ghc-%{pkg_name} -Version: 0.7.0.2 +Version: 0.7.0.3 Release: 0 Summary: A backtracking logic-programming monad License: BSD-3-Clause @@ -50,7 +50,7 @@ Requires(postun): ghc-compiler = %{ghc_version} This package provides the Haskell %{pkg_name} library development files. %prep -%setup -q -n %{pkg_name}-%{version} +%autosetup -n %{pkg_name}-%{version} %build %ghc_lib_build diff --git a/logict-0.7.0.2.tar.gz b/logict-0.7.0.2.tar.gz deleted file mode 100644 index 54fce4d..0000000 --- a/logict-0.7.0.2.tar.gz +++ /dev/null @@ -1,3 +0,0 @@ -version https://git-lfs.github.com/spec/v1 -oid sha256:ccc198a05563a4d8fc145ecde8b43a83599b3bcb032d2614a8e852f0ba6ecff5 -size 5892 diff --git a/logict-0.7.0.3.tar.gz b/logict-0.7.0.3.tar.gz new file mode 100644 index 0000000..3b07568 --- /dev/null +++ b/logict-0.7.0.3.tar.gz @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:791ce86e2d40d08f487523541425c70b6bf9f6db2dc1e0e9b0b99eab7284515f +size 5924