From 60f5b77dc8ac95040d0a0b86701f85e445524c09f536c02f784a84e256ab42b8 Mon Sep 17 00:00:00 2001 From: Peter Simons Date: Mon, 1 Jul 2019 01:01:43 +0000 Subject: [PATCH] osc copypac from project:devel:languages:haskell:ghc-8.6.x package:ghc-logict revision:5, using keep-link OBS-URL: https://build.opensuse.org/package/show/devel:languages:haskell/ghc-logict?expand=0&rev=26 --- ghc-logict.changes | 10 ++++++++++ ghc-logict.spec | 2 +- logict-0.6.0.3.tar.gz | 3 --- logict-0.7.0.0.tar.gz | 3 +++ 4 files changed, 14 insertions(+), 4 deletions(-) delete mode 100644 logict-0.6.0.3.tar.gz create mode 100644 logict-0.7.0.0.tar.gz diff --git a/ghc-logict.changes b/ghc-logict.changes index 324ceee..2cf445c 100644 --- a/ghc-logict.changes +++ b/ghc-logict.changes @@ -1,3 +1,13 @@ +------------------------------------------------------------------- +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 diff --git a/ghc-logict.spec b/ghc-logict.spec index 83963ad..1545059 100644 --- a/ghc-logict.spec +++ b/ghc-logict.spec @@ -18,7 +18,7 @@ %global pkg_name logict Name: ghc-%{pkg_name} -Version: 0.6.0.3 +Version: 0.7.0.0 Release: 0 Summary: A backtracking logic-programming monad License: BSD-3-Clause diff --git a/logict-0.6.0.3.tar.gz b/logict-0.6.0.3.tar.gz deleted file mode 100644 index f99538e..0000000 --- a/logict-0.6.0.3.tar.gz +++ /dev/null @@ -1,3 +0,0 @@ -version https://git-lfs.github.com/spec/v1 -oid sha256:d0671ddbb260b4597359406caf81a1e5689a8c3280d0d9f551a5b08534c77aa8 -size 5587 diff --git a/logict-0.7.0.0.tar.gz b/logict-0.7.0.0.tar.gz new file mode 100644 index 0000000..8da1c0b --- /dev/null +++ b/logict-0.7.0.0.tar.gz @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:c6c7f2fcdfc77ef9cc2a23cd41111e13448cf3dd897a7b283bdd9ec9cab36330 +size 5489