gpo.zugaina.org

Search Portage & Overlays:

dev-haskell/logict

A backtracking logic-programming monad

Screenshots

  • logict-0.7.0.3
    ~amd64 ~x86
    doc hscolour profile test

    View      Download      Browse     License: BSD   
    Overlay: gentoo
  • logict-0.7.0.3
    ~amd64 ~x86
    doc hscolour hoogle profile test

    View      Download      Browse     License: BSD   
    Overlay: haskell

ChangeLog

commit b0c1e8da3ff818539d0e8955c1868971ac158a30
Author: Jack Todaro <solpeth@posteo.org>
Date: Fri Aug 28 19:01:51 2020 +1000

dev-haskell/logict: bump up to 0.7.0.3

Package-Manager: Portage-3.0.4, Repoman-3.0.1
Signed-off-by: Jack Todaro <solpeth@posteo.org>

commit 3d16013c65cc8986c7537d76ed3a2855e978d057
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sat Nov 23 15:39:53 2019 +0000

*/*: Inline mirror://hackage and update URIs

Follow ::gentoo commit 2a2e66a9407205f18
("*/*: Inline mirror://hackage and update URIs ")

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit e68a1dd44484806ca12c1fbfcf2fb99fe0be2e47
Author: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
Date: Sun Nov 3 19:42:28 2019 -0500

dev-haskell/logict: drop old

Keep last: 0.7.0.2

Signed-off-by: Philippe Baril Lecavalier <pbl.ltx@gmail.com>

commit 81b78e6a61ea28f9afe4b4688d58ae4da3ab115a
Author: Mark Wright <gienah@gentoo.org>
Date: Mon Oct 14 23:22:53 2019 +1100

dev-haskell/logict: Bump to 0.7.0.2

Package-Manager: Portage-2.3.76, Repoman-2.3.17
Signed-off-by: Mark Wright <gienah@gentoo.org>

commit 2a94f64d40e69b69ddfa1b5da7906d17009e5e6f
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri Nov 24 09:25:20 2017 +0000

refresh Manifests

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit 1a6ba469382ab24f8b77b4ff3b043b6e2ed68306
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Tue Feb 28 21:38:05 2017 +0000

follow ::gentoo in removing '# $Id$' headers

Done as
$ sed -i */*/*.ebuild -e '/^# \$Id\$$/d'

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit aa19eeb10bc2eb3e09f93fa8a102c322742943e4
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Tue Jan 26 14:19:48 2016 -0500

Update metadata.xml for GLEP 67

commit 4a585b54eb5f4c66e9b867f0bf95b390cbc62c60
Author: Heather <Heather@live.ru>
Date: Wed Aug 12 15:47:28 2015 +0400

fix headers and copyright lines

commit b9c11d9d44644f6a277de1f7af562de56e786675
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Aug 9 10:37:52 2015 +0100

convert '# $Header: ' lines to '# $Id$'

The change was adopted when ::gentoo switched to git.

https://github.com/trofi/gentoo-qa/blob/master/check_header.sh

Signed-off-by: Sergei Trofimovich <siarheit@google.com>

commit 46e114d489725beb4801c34b320febe86e438925
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Jul 26 15:39:12 2015 +0100

sync keywords from gx86

Signed-off-by: Sergei Trofimovich <siarheit@google.com>

commit 7caba65cd543fbfef1c994cc43a84a5dec653ce7
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Thu Jul 24 18:07:32 2014 +0300

metadata.xml: from <maintainer> field in favour of <herd> one

Mangled by tiny tool:
https://github.com/trofi/gentoo-qa/blob/master/shrink_haskell_metadata.hs

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit e10b3ad26e94baf527bce2750ff1e5e1e11ca255
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Thu Jul 24 16:51:36 2014 +0300

drop trailing '.' from DESCRIPTIONs overlay-wide

repoman depected them as:

DESCRIPTION.punctuation 1
net-misc/htsn/htsn-0.1.0.ebuild: DESCRIPTION ends with a '.' character

Fixed by the following tiny script:
https://github.com/trofi/gentoo-qa/blob/master/check_description.sh

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit 27b937ff1cbcaae800dc64d112e2274c2c363cbc
Author: Alexander Vershilov <alexander.vershilov@gmail.com>
Date: Mon Feb 10 20:02:00 2014 +0400

dev-haskell/logict: vesion bump up tp 0.6.02

commit 36a5565d97b27b4e4af7d7c8b3407db8e9995d3d
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Tue Sep 10 23:04:16 2013 +0300

rekeyword depends for 'dev-haskell/haskell-src-exts' on ppc ppc64 and sparc

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit d33ac26020e37aa9b7888e6f1b0f3694b4acb85d
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Wed Aug 14 08:27:22 2013 +0300

dev-haskell/logict: bump up to 0.6.0.1

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit d4ad3a233402a85734b384b272d2dad92ab7e935
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sat Feb 9 20:01:44 2013 +0300

dev-haskell/logict: bump up to 0.6

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit 05651baaafcc25317414664b37cf170ff9e13183
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Tue Dec 25 00:42:34 2012 +0300

dev-haskell/logict: removed old

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit 60fe93e2c8b57084aed0d009ee308239210be151
Author: Mark Wright <gienah@gentoo.org>
Date: Sat Sep 15 12:56:47 2012 +1000

Bump logict to 0.5.0.2

commit 7db4e1b65c2de61d0028528402e5f4d4f1112cf1
Author: Alexander Vershilov <alexander.vershilov@gmail.com>
Date: Fri Sep 7 17:44:46 2012 +0400

big mirror update

commit eeec21f6eca73fd0f6ee0a2a6c1457bbcb32a406
Author: nCdy <nCdy@live.com>
Date: Thu Sep 6 15:25:48 2012 +0400

Metadata updates

commit 88bbb0224ca4d45e00f0f64b16b0c8e79dab66f1
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri Jun 15 03:11:07 2012 +0300

regenerated all Manifests to make use of 'thin' feature in one shot

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit eb1119eb8d8186f08215c9834cf83850a0ce91a9
Author: Mark Wright <gienah@gentoo.org>
Date: Sun May 13 22:01:21 2012 +1000

Bump logict to 0.5.0.1

commit 1d0284aeb2b44a9bdb5c4fa05b4ec333edf0bcb0
Author: Mark Wright <gienah@gentoo.org>
Date: Thu Apr 12 01:21:39 2012 +1000

Loosen mtl dependency in logict 0.5.0-r1

commit e7dcbdb73e1a0f79dd44c81f76c3963ac76794fd
Author: Mark Wright <markwright@internode.on.net>
Date: Fri Jan 6 21:20:24 2012 +1100

Fix logict build with ghc 6.12.3 mtl-2

commit ddfc3d1aa83b3634fb3be0d8024f3d6afe252445
Author: Mark Wright <markwright@internode.on.net>
Date: Thu Nov 17 23:17:59 2011 +1100

Add hoogle support

commit 1afbbbccb3abd494c2c094064bbbe0de2d5b9763
Author: Mark Wright <markwright@internode.on.net>
Date: Thu Aug 11 19:23:23 2011 +1000

Bump logict to 0.5.0, built with ghc 7.2.1, 7.0.4 and 6.12.3

commit 9066d2dc5b7cc231908e235423da73a52d1f544a
Author: markwright@internode.on.net <unknown>
Date: Tue Jan 4 21:44:53 2011 +0000

logict-for-lambdabot

commit ddf69605cd88d402dea33c7da1a318dabbb6389d
Author: markwright@internode.on.net <unknown>
Date: Tue Jan 4 14:13:27 2011 +0000

logict
Is now required by lambdabot.

commit 3449ce8b78ebd3251daefd1e07f59ea1050f270d
Author: Duncan Coutts <dcoutts@gentoo.org>
Date: Tue Feb 5 00:51:56 2008 +0000

Add 18 new packages and 9 updated packages from hackage

commit 30cf24e0473d0d884a6c32ed63eb08885eb35b19
Author: Duncan Coutts <dcoutts@gentoo.org>
Date: Tue Aug 28 11:51:13 2007 +0000

Remove loads of digest and files dirs
digest files are not used anymore, only the Manifest files.

commit 601426d6f905d4b885f56be38bd7175b5d89b683
Author: Duncan Coutts <dcoutts@gentoo.org>
Date: Tue Aug 28 06:12:19 2007 +0000

Add updated logict pcap chart encoding and hmp3

commit e3f2f73530c0914c3c31c0ac4d8efad369807f8f
Author: Duncan Coutts <dcoutts@gentoo.org>
Date: Mon Jul 30 19:46:09 2007 +0000

Add 50 new ebuilds merged via hackport
(a few are new versions of existing ebuilds)
All build with ghc-6.6.1, not checked with USE=doc