From 9b5a1ab4b324c3d882f1fe4a35da0db51ff8d60afc07bfad600de5cb4fb9a828 Mon Sep 17 00:00:00 2001 From: Peter Simons Date: Tue, 9 Jul 2019 01:01:44 +0000 Subject: [PATCH] osc copypac from project:devel:languages:haskell:ghc-8.6.x package:ghc-logict revision:6, using keep-link OBS-URL: https://build.opensuse.org/package/show/devel:languages:haskell/ghc-logict?expand=0&rev=27 --- ghc-logict.changes | 8 ++++++++ ghc-logict.spec | 10 +++++++++- logict-0.7.0.0.tar.gz | 3 --- logict-0.7.0.1.tar.gz | 3 +++ 4 files changed, 20 insertions(+), 4 deletions(-) delete mode 100644 logict-0.7.0.0.tar.gz create mode 100644 logict-0.7.0.1.tar.gz diff --git a/ghc-logict.changes b/ghc-logict.changes index 2cf445c..94e2f4b 100644 --- a/ghc-logict.changes +++ b/ghc-logict.changes @@ -1,3 +1,11 @@ +------------------------------------------------------------------- +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 diff --git a/ghc-logict.spec b/ghc-logict.spec index 1545059..48fcebf 100644 --- a/ghc-logict.spec +++ b/ghc-logict.spec @@ -17,8 +17,9 @@ %global pkg_name logict +%bcond_with tests Name: ghc-%{pkg_name} -Version: 0.7.0.0 +Version: 0.7.0.1 Release: 0 Summary: A backtracking logic-programming monad License: BSD-3-Clause @@ -28,6 +29,10 @@ Source0: https://hackage.haskell.org/package/%{pkg_name}-%{version}/%{pkg BuildRequires: ghc-Cabal-devel BuildRequires: ghc-mtl-devel BuildRequires: ghc-rpm-macros +%if %{with tests} +BuildRequires: ghc-tasty-devel +BuildRequires: ghc-tasty-hunit-devel +%endif %description A continuation-based, backtracking, logic programming monad. An adaptation of @@ -55,6 +60,9 @@ This package provides the Haskell %{pkg_name} library development files. %install %ghc_lib_install +%check +%cabal_test + %post devel %ghc_pkg_recache diff --git a/logict-0.7.0.0.tar.gz b/logict-0.7.0.0.tar.gz deleted file mode 100644 index 8da1c0b..0000000 --- a/logict-0.7.0.0.tar.gz +++ /dev/null @@ -1,3 +0,0 @@ -version https://git-lfs.github.com/spec/v1 -oid sha256:c6c7f2fcdfc77ef9cc2a23cd41111e13448cf3dd897a7b283bdd9ec9cab36330 -size 5489 diff --git a/logict-0.7.0.1.tar.gz b/logict-0.7.0.1.tar.gz new file mode 100644 index 0000000..26be176 --- /dev/null +++ b/logict-0.7.0.1.tar.gz @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:652a355478b104217b25cd541b6d6e5828aeb8b04c6e2042ced994405b77ecff +size 5807