forked from pool/ghc-logict
osc copypac from project:devel:languages:haskell:ghc-8.10.x package:ghc-logict revision:8, using keep-link
OBS-URL: https://build.opensuse.org/package/show/devel:languages:haskell/ghc-logict?expand=0&rev=43
This commit is contained in:
parent
f3ec0a15ef
commit
412565d9ff
@ -1,3 +1,12 @@
|
||||
-------------------------------------------------------------------
|
||||
Mon Jan 18 09:08:22 UTC 2021 - psimons@suse.com
|
||||
|
||||
- Update logict to version 0.7.1.0.
|
||||
# 0.7.1.0
|
||||
|
||||
* Improve documentation.
|
||||
* Relax superclasses of `MonadLogic` to `Monad` and `Alternative` instead of `MonadPlus`.
|
||||
|
||||
-------------------------------------------------------------------
|
||||
Thu Dec 17 12:20:00 UTC 2020 - Ondřej Súkup <mimi.vx@gmail.com>
|
||||
|
||||
|
@ -1,7 +1,7 @@
|
||||
#
|
||||
# spec file for package ghc-logict
|
||||
#
|
||||
# Copyright (c) 2020 SUSE LLC
|
||||
# Copyright (c) 2021 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.3
|
||||
Version: 0.7.1.0
|
||||
Release: 0
|
||||
Summary: A backtracking logic-programming monad
|
||||
License: BSD-3-Clause
|
||||
@ -30,15 +30,15 @@ BuildRequires: ghc-mtl-devel
|
||||
BuildRequires: ghc-rpm-macros
|
||||
ExcludeArch: %{ix86}
|
||||
%if %{with tests}
|
||||
BuildRequires: ghc-async-devel
|
||||
BuildRequires: ghc-tasty-devel
|
||||
BuildRequires: ghc-tasty-hunit-devel
|
||||
%endif
|
||||
|
||||
%description
|
||||
A continuation-based, backtracking, logic programming monad. An adaptation of
|
||||
the two-continuation implementation found in the paper "Backtracking,
|
||||
Interleaving, and Terminating Monad Transformers" available here:
|
||||
<http://okmij.org/ftp/papers/LogicT.pdf>.
|
||||
Adapted from the paper <http://okmij.org/ftp/papers/LogicT.pdf Backtracking,
|
||||
Interleaving, and Terminating Monad Transformers> by Oleg Kiselyov, Chung-chieh
|
||||
Shan, Daniel P. Friedman, Amr Sabry.
|
||||
|
||||
%package devel
|
||||
Summary: Haskell %{pkg_name} library development files
|
||||
@ -72,6 +72,6 @@ This package provides the Haskell %{pkg_name} library development files.
|
||||
%license LICENSE
|
||||
|
||||
%files devel -f %{name}-devel.files
|
||||
%doc changelog.md
|
||||
%doc README.md changelog.md
|
||||
|
||||
%changelog
|
||||
|
@ -1,3 +0,0 @@
|
||||
version https://git-lfs.github.com/spec/v1
|
||||
oid sha256:791ce86e2d40d08f487523541425c70b6bf9f6db2dc1e0e9b0b99eab7284515f
|
||||
size 5924
|
3
logict-0.7.1.0.tar.gz
Normal file
3
logict-0.7.1.0.tar.gz
Normal file
@ -0,0 +1,3 @@
|
||||
version https://git-lfs.github.com/spec/v1
|
||||
oid sha256:272e4f0ed1a2eb1c09301a8387dc3b9b86b93a3326e8acd02c53598af25942b4
|
||||
size 15146
|
Loading…
Reference in New Issue
Block a user