forked from pool/ghc-logict
Accepting request 715413 from devel:languages:haskell
version update OBS-URL: https://build.opensuse.org/request/show/715413 OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/ghc-logict?expand=0&rev=7
This commit is contained in:
commit
16163a16c4
@ -1,3 +1,21 @@
|
||||
-------------------------------------------------------------------
|
||||
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
|
||||
|
||||
|
@ -17,8 +17,9 @@
|
||||
|
||||
|
||||
%global pkg_name logict
|
||||
%bcond_with tests
|
||||
Name: ghc-%{pkg_name}
|
||||
Version: 0.6.0.3
|
||||
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
|
||||
|
||||
|
@ -1,3 +0,0 @@
|
||||
version https://git-lfs.github.com/spec/v1
|
||||
oid sha256:d0671ddbb260b4597359406caf81a1e5689a8c3280d0d9f551a5b08534c77aa8
|
||||
size 5587
|
3
logict-0.7.0.1.tar.gz
Normal file
3
logict-0.7.0.1.tar.gz
Normal file
@ -0,0 +1,3 @@
|
||||
version https://git-lfs.github.com/spec/v1
|
||||
oid sha256:652a355478b104217b25cd541b6d6e5828aeb8b04c6e2042ced994405b77ecff
|
||||
size 5807
|
Loading…
x
Reference in New Issue
Block a user