gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/agda

A dependently typed functional programming language and proof assistant

Screenshots

  • agda-9999
    +cpphs debug emacs enable-cluster-counting +stdlib doc hscolour hoogle profile test

    View      Download      Browse     License: MIT   
    Overlay: haskell (layman)
  • agda-2.5.4
    ~amd64 ~x86
    +cpphs debug emacs enable-cluster-counting +stdlib doc hscolour hoogle profile test

    View      Download      Browse     License: MIT   
    Overlay: haskell (layman)
  • agda-2.5.3-r1
    ~amd64 ~x86
    +cpphs debug emacs enable-cluster-counting +stdlib doc hscolour hoogle profile test

    View      Download      Browse     License: MIT   
    Overlay: haskell (layman)
  • agda-2.5.2-r1
    ~amd64 ~x86
    +cpphs debug uhc +stdlib emacs doc hscolour profile

    View      Download      Browse     License: MIT   
    Overlay: gentoo (distro)
  • agda-2.5.2-r1
    ~amd64 ~x86
    +cpphs debug uhc +stdlib emacs doc hscolour hoogle profile

    View      Download      Browse     License: MIT   
    Overlay: haskell (layman)
  • agda-2.5.1.2
    ~amd64 ~x86
    +cpphs uhc +stdlib emacs doc hscolour hoogle profile

    View      Download      Browse     License: MIT   
    Overlay: haskell (layman)
  • agda-2.5.1.1-r1
    ~amd64 ~x86
    +cpphs uhc +stdlib emacs doc hscolour hoogle profile

    View      Download      Browse     License: MIT   
    Overlay: haskell (layman)
  • agda-2.5.1-r4
    ~amd64 ~x86
    +cpphs uhc +stdlib emacs doc hscolour hoogle profile

    View      Download      Browse     License: MIT   
    Overlay: haskell (layman)
  • agda-2.4.2.5-r2
    ~amd64 ~x86
    +cpphs +stdlib emacs doc hscolour hoogle profile

    View      Download      Browse     License: MIT   
    Overlay: haskell (layman)
  • agda-2.4.2.5-r2
    ~amd64 ~x86
    +cpphs +stdlib emacs doc hscolour profile

    View      Download      Browse     License: MIT   
    Overlay: gentoo (distro)

ChangeLog

commit c64894eee793b84efb66a27d064b37f559016e00
Author: Vikraman Choudhury <git@vikraman.org>
Date: Fri Jun 8 13:03:20 2018 -0400

sci-mathematics/agda: Bump to version 2.5.4

Package-Manager: Portage-2.3.40, Repoman-2.3.9

commit 487200388506416e7853eb0fd8f21b6a6374ff7c
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Wed Apr 25 09:17:02 2018 +0100

sci-mathematics/agda: allow async-2.2

Package-Manager: Portage-2.3.28, Repoman-2.3.9

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 728da4d9f8b8844db345e0f12447eddd4f2c1697
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Tue Oct 17 11:04:09 2017 +0100

sci-mathematics/agda: drop 'agda --test' call

Upstream moved over to cabal testsuite.

Package-Manager: Portage-2.3.11, Repoman-2.3.3

commit b92ba484625342bba79bb7884f96768252b6b300
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Fri Sep 29 18:27:06 2017 -0400

sci-mathematics/agda: Bump to version 2.5.3

Package-Manager: Portage-2.3.10, Repoman-2.3.3

commit 203c14bdd59fddef482f804f49fa05957627ece7
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Wed Sep 27 12:57:42 2017 -0400

sci-mathematics/agda: Refresh live ebuild

Package-Manager: Portage-2.3.10, Repoman-2.3.3

commit 007284a6529de5b57d3de10895d82f93e85fdff4
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Fri Jul 28 13:16:02 2017 -0400

sci-mathematics/agda: Update live ebuild

Package-Manager: Portage-2.3.6, Repoman-2.3.1

commit 084e01ad3d308158d66cc6dc210ab0f1b0390e67
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sun Apr 30 11:27:25 2017 +0100

sci-mathematics/agda: refresh agda ebuild

Package-Manager: Portage-2.3.5, Repoman-2.3.2

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 4edbb280acdf12cd24fae5232f94286b641bea9a
Author: Lana Black <lanablack@amok.cc>
Date: Mon Feb 6 14:45:21 2017 +0000

sci-mathematics/agda: install agda-mode unconditionally.

commit b26a57b90fef18a3a00debe3c8744e20d2332395
Author: Sergei Trofimovich <siarheit@google.com>
Date: Fri Dec 30 09:19:16 2016 +0000

sci-mathematics/agda: disable broken test

Package-Manager: Portage-2.3.3, Repoman-2.3.1

commit 29db0b884e43df6df480e0161588d8166ddbf905
Author: Sergei Trofimovich <siarheit@google.com>
Date: Fri Dec 30 08:58:39 2016 +0000

sci-mathematics/agda: pin agda-stdlib-0.13 to agda-2.5.2

Package-Manager: Portage-2.3.3, Repoman-2.3.1

commit f37236ae911e6098a50a2347ef6473ed926f3ece
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Tue Dec 27 22:40:48 2016 -0500

sci-mathematics/agda: Bump to version 2.5.2

Package-Manager: Portage-2.3.3, Repoman-2.3.1

commit a70a98618d58de04570149ca2350f6f52c360c55
Author: Sergei Trofimovich <siarheit@google.com>
Date: Fri Dec 23 14:59:12 2016 +0000

sci-mathematics/agda: allow ghc-8.0.2_rc2

Package-Manager: Portage-2.3.3, Repoman-2.3.1

commit 1ef36c2f1f2f5e5d5863386be472cd38ca0c579d
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Nov 27 16:15:38 2016 +0000

sci-mathematics/agda: bump up to 2.5.1.2

Package-Manager: portage-2.3.2

commit 28fb9b2813cdecb5c65e2ecc1caa798b41938000
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Nov 6 10:41:20 2016 +0000

sci-mathematics/agda: allow alex-3.2

Package-Manager: portage-2.3.2

commit 3ce87c7594008d7e63d0d69933b02716668e6033
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sat Aug 6 16:11:21 2016 +0100

sci-mathematics/agda: allow quickcheck-2.9

Package-Manager: portage-2.3.0

commit 7f8c6287758c499502a7541f533eca162138fca9
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sat Jul 2 12:09:27 2016 +0100

sci-mathematics/agda: bump up to 2.5.1.1

Package-Manager: portage-2.3.0

commit a440606ca74aff23d36f1c5c3e7419713c0ad1e7
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Jun 5 20:29:20 2016 +0100

sci-mathematics/agda: allow edisonapi-1.3.1

Package-Manager: portage-2.3.0_rc1

commit 1d58a2130f7afc9b7333b436c2c62e35df39a1c5
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun May 22 20:22:02 2016 +0100

sci-mathematics/agda: allow latest uhc-util

Package-Manager: portage-2.3.0_rc1

commit a9d308a30e41a43e9e5eaac77dd0ce830d0e33a8
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Fri May 13 16:59:18 2016 -0400

sci-mathematics/agda: Refresh live ebuild

Package-Manager: portage-2.2.28

commit 7a32fd8c70af6c8c687339529568165de54169b5
Author: Sergei Trofimovich <siarheit@google.com>
Date: Mon May 2 18:46:11 2016 +0100

sci-mathematics/agda-stdlib: rename 0.12 to 2.5.1.0.12

This eases upgrade path for emerge.

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

commit b165adacd5717c355a60858d02a1222a8accd5f5
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Wed Apr 27 17:59:02 2016 -0400

sci-mathematics/agda: Refresh live ebuild

Package-Manager: portage-2.2.28

commit 1f251f85b3910dfaac8ffd9716333b18a6a204fa
Author: Mark Wright <gienah@gentoo.org>
Date: Mon Apr 25 20:45:08 2016 +1000

sci-mathematics/agda: Loosen cpphs dep in 2.4.2.5-r2, thanks Turion

for reporting. Loosen base-orphans dep in 2.5.1.

commit 9242fd32af6b2dd0cc74f9b2dbabebed7e10e57f
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Sat Apr 16 21:24:22 2016 -0400

sci-mathematics/agda: Bump to version 2.5.1

Package-Manager: portage-2.2.27

commit 81c396f0db7f9292a22d2ea1e90e07bcdf009ff6
Author: Sergei Trofimovich <siarheit@google.com>
Date: Thu Apr 7 22:17:12 2016 +0100

sci-mathematics/agda: drop pre-ghc-7.8 depend

Package-Manager: portage-2.2.28

commit 785a7e5089611c6cd5cc56b6e9590ecadc2d1f0e
Author: Sergei Trofimovich <siarheit@google.com>
Date: Thu Apr 7 20:41:03 2016 +0100

sci-mathematics/agda: drop upper zlib build in live ebuild

Package-Manager: portage-2.2.28

commit ae1432a984d70d713d91397092dae6e0ec0eb3fb
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Tue Apr 5 20:48:00 2016 -0400

sci-mathematics/agda: Also compile Agda.Builtin modules

Package-Manager: portage-2.2.27

commit 0507b3577d018b434b8e7e713e79405226f3264a
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Tue Apr 5 17:39:42 2016 -0400

sci-mathematics/agda: Refresh dependencies

Package-Manager: portage-2.2.27

commit d80ed3cc7b78eb137e5a971f7f67adf8e9a2d819
Author: Sergei Trofimovich <siarheit@google.com>
Date: Fri Apr 1 22:39:21 2016 +0100

sci-mathematics/agda: simplify ranged depend as we don't have hashtable-1.2, update live ebuild

Package-Manager: portage-2.2.28

commit ac3e073ebcde1366f9797a50bcad7d429a37e82b
Author: Sergei Trofimovich <siarheit@google.com>
Date: Fri Apr 1 22:36:02 2016 +0100

sci-mathematics/agda: simplify ranged depend as we don't have mtl-2.1

Package-Manager: portage-2.2.28

commit 7ef10e9c2c52e3e9d267e141f43aad3077cf0ec5
Author: Sergei Trofimovich <siarheit@google.com>
Date: Fri Apr 1 22:34:14 2016 +0100

sci-mathematics/agda: drop unused 'epic' USE description

Package-Manager: portage-2.2.28

commit 0cde5e4d3110815f6a5f8661d529e6f942a7ce35
Author: Sergei Trofimovich <siarheit@google.com>
Date: Fri Apr 1 22:33:45 2016 +0100

sci-mathematics/agda: drop old from overlay

Package-Manager: portage-2.2.28

commit 2c36ce1edb52f2a727b3b70b6413f297b530f393
Author: Sergei Trofimovich <siarheit@google.com>
Date: Fri Apr 1 22:32:57 2016 +0100

sci-mathematics/agda: simplify ranged depend as we don't have transformers-0.4.0.0

Package-Manager: portage-2.2.28

commit 81001d5b4ab34a008c5230597b92ff7d272746dd
Author: Sergei Trofimovich <siarheit@google.com>
Date: Wed Feb 10 15:59:29 2016 +0000

sci-mathematics/agda: allow transformers-compat-0.5

Package-Manager: portage-2.2.27

commit 26eecf61013fc80ef04f1cb9d56a7179ca2f00e3
Author: Sergei Trofimovich <siarheit@google.com>
Date: Mon Feb 8 10:57:56 2016 +0000

sci-mathematics/agda: drop unused for older ghcs base-orphans depend

Package-Manager: portage-2.2.27

commit 0f843e6ccf6f26990d55d4c25c0410de357dec3d
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sat Feb 6 17:47:04 2016 +0000

sci-mathematics/agda: drop zlib upper bound

Package-Manager: portage-2.2.27

commit 5c3be830705ae612039fc34d061c20f916e29e80
Author: hasufell <hasufell@hasufell.de>
Date: Fri Feb 5 18:02:53 2016 +0100

sci-mathematics/agda: simplify dev-haskell/hashable constraint

commit 718da9f283233db06a0120ff7dc7296a97ad3979
Author: Sergei Trofimovich <siarheit@google.com>
Date: Tue Jan 26 23:57:09 2016 +0300

sci-mathematics/agda: tweak for latest hashtables, reported by Turion

hashtables started exposing functions defined by agda on top of
exposed hashtables module. Led to following collision:

src/full/Agda/Utils/HashMap.hs:3:5:
Ambiguous occurrence ‘mapMaybe’
It could refer to either ‘Agda.Utils.HashMap.mapMaybe’,
defined at src/full/Agda/Utils/HashMap.hs:17:1

Github-bug: https://github.com/gentoo-haskell/gentoo-haskell/issues/478
Signed-off-by: Sergei Trofimovich <siarheit@google.com>

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

Update metadata.xml for GLEP 67

commit 43254bb0f5a40d2a2848cc6675b62e1feb27ddc8
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Sun Jan 24 14:05:07 2016 -0500

sci-mathematics/agda: Refresh live ebuild

Package-Manager: portage-2.2.27

commit 5cd0042f66faa59e3b1b23d4f27de4d55229dead
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Jan 10 11:27:23 2016 +0000

sci-mathematics/agda: use haskell-cabal functions for registration/deregistration

Package-Manager: portage-2.2.26

commit 7ad5004bcda5641d920e19f3d91794b3122a6a22
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Jan 10 11:06:40 2016 +0000

sci-mathematics/agda: use haskell-cabal functions for registration/deregistration

Package-Manager: portage-2.2.26

commit fff74026643601b5a8a7fada2e809ab968d4ae78
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Jan 10 10:54:22 2016 +0000

sci-mathematics/agda: fixed package registration/deregistration

Package-Manager: portage-2.2.26

commit 68e76997bba605993c446aa694e90fc7cb6cff6a
Author: Jiri Marsicek <jiri.marsicek@gmail.com>
Date: Mon Jan 4 23:40:59 2016 +0100

sci-mathematics/agda: add emacs USE flag

- agda-mode executable is not installed as elisp-install is responsible
for installing emacs agda-mode

commit f27d277622d45f383a0a744f7a3bec4cebb314a4
Author: Mark Wright <gienah@gentoo.org>
Date: Sun Dec 20 16:23:46 2015 +1100

Bump agda to 2.4.2.5

commit d82a04cab59e582a21023f4e2fdfaa010c00e5da
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sat Nov 21 12:00:57 2015 +0000

sci-mathematics/agda: allow tasty-0.11

Package-Manager: portage-2.2.25

commit 2a6afde911b262bc97fd30f10c59d786f0cb74d0
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sat Nov 21 11:38:59 2015 +0000

sci-mathematics/agda: allow haskell-src-exts-1.17

Package-Manager: portage-2.2.25

commit 859b5382454afa40c9a26336f75ca01607bc6806
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Oct 11 16:19:25 2015 +0100

sci-mathematics/agda: refresh live ebuild, allow geniplate-mirror

Package-Manager: portage-2.2.23

commit 651e47628afbfe67b47e180da149e1e319060fea
Author: Alexander Berntsen <bernalex@gentoo.org>
Date: Sat Oct 10 01:23:34 2015 +0200

sci-mathematics/agda: Remove blankline

Signed-off-by: Alexander Berntsen <bernalex@gentoo.org>

commit 6ccb35ef555a69e63be6815608954609e5ca3a25
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Sun Sep 27 18:10:31 2015 -0400

sci-mathematics/agda: Bump to version 2.4.2.4

Package-Manager: portage-2.2.20.1

commit 513c0ba499f0cf078ce265690e74b7e1183c47eb
Author: Mark Wright <gienah@gentoo.org>
Date: Sat Sep 19 21:58:02 2015 +1000

Loosen base-orphans dep in agda-2.4.2.3-r2

commit 7ca6564c2ddab41d1a7efaadea3f8f134f9dad89
Author: Sergei Trofimovich <siarheit@google.com>
Date: Wed Sep 16 08:33:14 2015 +0100

sci-mathematics/agda: allow zlib-0.6

Package-Manager: portage-2.2.20

commit 202a01038c7d90ea9a128bee5ad8496de9036598
Author: Sergei Trofimovich <siarheit@google.com>
Date: Thu Aug 13 22:32:35 2015 +0100

sci-mathematics/agda: fix Primitive.agdai build failure

Package-Manager: portage-2.2.20

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 7f6d8665c81fb3e11421d94213fa45440862f534
Author: Mark Wright <gienah@gentoo.org>
Date: Sun Aug 2 23:52:02 2015 +1000

Loosen data-hash and geniplate-mirror deps in agda-2.4.2.3-r1, add blocker on sci-mathematics/agda-executable

commit aaf9380396ba2f95c66b36165064da20c3275d36
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sat Jul 25 11:22:51 2015 +0100

sci-mathematics/agda: allow data-hash-0.2.0.1

Package-Manager: portage-2.2.20

commit 8a4c1ab34b09f674e73637a11e2e56c4a762f1a2
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Sat Jun 20 09:54:28 2015 +0530

sci-mathematics/agda: Depend on exact agda-stdlib version

Package-Manager: portage-2.2.20

commit 31d6a463a72c0b61aa6d5113b13a8cd3cd5d5d47
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Thu Jun 18 06:27:15 2015 +0530

sci-mathematics/agda: Bump to version 2.4.2.3

Package-Manager: portage-2.2.18

commit 9c559d262bafc7af1f2e8ef7a1c3850a48bb31dd
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Thu Jun 18 05:53:48 2015 +0530

sci-mathematics/agda: Keep agda and agda-mode executables

Package-Manager: portage-2.2.18

commit 085749abd509870fc8d863ea69818e4c11d15f5c
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sat Jun 13 11:47:28 2015 +0100

agda: fix tests for live ebuild

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

commit b8e889a06c4c06d32e2aeecebdfeacf28340fc3c
Author: Sergei Trofimovich <siarheit@google.com>
Date: Wed May 13 21:04:49 2015 +0100

sci-mathematics/agda: refreshed live ebuild

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

commit b3338c53740c5af1053e7aee649e01c03c2dc5d7
Author: Mark Wright <gienah@gentoo.org>
Date: Sat Apr 4 23:57:28 2015 +1100

Loosen cpphs dep in agda-2.4.2.2-r1

commit 314cfe148b1ad1f5f068e2a2fd19cd24725fed22
Author: Mark Wright <gienah@gentoo.org>
Date: Sat Apr 4 20:16:45 2015 +1100

Update the cpphs dependency in agda-9999

commit 312ab346990926bd6f092a5c50ad5622d5fa6047
Author: Sergei Trofimovich <siarheit@google.com>
Date: Mon Mar 23 09:44:11 2015 +0000

sci-mathematics/agda: allow quickcheck-2.8

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

commit 0f0e4b4ad67e00a890fdc8417b24b8aa42bdcb09
Author: Sergei Trofimovich <siarheit@google.com>
Date: Mon Feb 16 22:01:28 2015 +0000

sci-mathematics/agda: drop subslot deps on binary-only DEPEND-only depend

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

commit 93298d9ecf73aed524578242776edeb083453318
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Feb 8 12:47:58 2015 +0000

sci-mathematics/agda: sync cpphs depend from current git tree

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

commit d6e1fed24aca7ab7dba094a6f29e1d96e950bfe3
Author: Sergei Trofimovich <siarheit@google.com>
Date: Tue Dec 23 09:25:52 2014 +0000

sci-mathematics/agda: upstream allows hashtables-1.2

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

commit c4424f2ac953c7ce8ca5434b8c1cba4bad15d55e
Author: Mark Wright <gienah@gentoo.org>
Date: Sun Dec 14 21:12:30 2014 +1100

Loosend hashtables dep in agda-2.4.2.2-r1

commit 370826d1d1ab22f8caf12a7acb9f91809359398b
Author: Mark Wright <gienah@gentoo.org>
Date: Sun Dec 7 15:27:03 2014 +1100

Bump agda to 2.4.2.2

commit 20b14df09667f981092834e6a7e9422d672cc986
Author: Mark Wright <gienah@gentoo.org>
Date: Mon Nov 17 23:22:18 2014 +1100

Bump agda to 2.4.2.1

commit 58255385861f1157b252e5687d1c3b2032bd6bf1
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Wed Nov 5 04:09:47 2014 +0530

sci-mathematics/agda: Drop ChangeLog

Signed-off-by: Vikraman Choudhury <vikraman@gentoo.org>

commit 563a0b88399e04309f7a46d0060e0d69dc85a00a
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Mon Oct 27 19:24:42 2014 +0530

sci-mathematics/agda: Fix cpphs dependency

Package-Manager: portage-2.2.14_rc1
RepoMan-Options: --force

commit 21432fdd232c1392b71b8d437d150e1a7ddc33fa
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Mon Oct 27 18:17:17 2014 +0530

sci-mathematics/agda: Update deps

Package-Manager: portage-2.2.14_rc1
RepoMan-Options: --force

commit d3d46eb436dea00922cc0639c7486874288dd81f
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sun Oct 19 18:40:00 2014 +0100

sci-mathematics/agda: update live ebuild cpphs depend

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

commit c0482cc6d1b61b5f589a28f75452b2b54c654469
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Fri Oct 17 18:02:55 2014 +0530

sci-mathematics/agda: Remove Werror fix since it is no longer used

Package-Manager: portage-2.2.12

commit 086e0b31d618fbbfab08e9080e1fc87ac69a9d26
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Fri Oct 17 11:09:31 2014 +0530

sci-mathematics/agda: Update deps

Package-Manager: portage-2.2.12

commit 2d884d61cee6dc9bcfb51b89c61c980442d0d19a
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sat Sep 13 19:28:15 2014 +0300

sci-mathematics/agda: drop outdated loosening

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

commit a9a57d06c7bd56581065a8b1548a1a8f84cf53f4
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri Aug 8 13:22:33 2014 +0300

Revert "fix mtl RDEPEND major version limit"

The real bug is in transformers part.

This reverts commit 247d80a5112fc711b7b1818ad17e61f705043f89.

commit 0bae963b3601b6762e2f27b9418cdd84a4926568
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri Aug 8 13:21:17 2014 +0300

sci-mathematics/agda: allow transformers-0.4 (thanks to Heather and Fernandos)

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

commit 247d80a5112fc711b7b1818ad17e61f705043f89
Author: Heather <Cynede@Gentoo.org>
Date: Fri Aug 8 13:47:29 2014 +0400

fix mtl RDEPEND major version limit

source: https://hackage.haskell.org/package/Agda

commit c08b6d0bb72e7d21bb23bded90f958c3e6abf467
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri Aug 1 01:22:55 2014 +0300

sci-mathematics/agda: bump up to 2.4.0.2

Package-Manager: portage-2.2.10_p40

commit f283419951e2bfaaae7d1946b600fcaec32a4927
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Mon Jul 14 19:20:36 2014 +0300

portage/gentoo-haskell: removed explicit deepseq depend (core lib since ghc-7.4)

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

commit d23c2c9cd74542922e8eab1bf2de0e283cd819b3
Author: Mark Wright <gienah@gentoo.org>
Date: Thu Jun 26 17:03:54 2014 +1000

Bump agda to 2.4.0.1

commit 7ddab1cc0faad087a9ee94f1804a2bac7c01de05
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri Jun 20 17:27:02 2014 +0300

sci-mathematics/agda: allow transformers-0.4, backport .agdai fix from live ebuild

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

commit 744e9b3538459f7f7bade08ffedf23704bebf146
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri Jun 20 17:23:45 2014 +0300

sci-mathematics/agda: move dep loosening upper

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

commit 94e30bb863985c2aaf95d53eaf8c04a1ac1121e4
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri Jun 20 16:51:14 2014 +0300

sci-mathematics/agda: update live ebuild to point to git tree

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

commit 239822230e2ceacf8341b87f57b1ca827c617fe9
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri Jun 6 09:53:02 2014 +0300

sci-mathematics/agda: bump up to 2.4.0

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

commit be15dcc3deb097bc6fd961ce601c02b3ce6ef742
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Thu Jun 5 00:17:48 2014 +0530

sci-mathematics/agda: Update quickcheck dependency

Package-Manager: portage-2.2.10_p26

commit 4a895bd253160440a83dd472da3c6177f0021577
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri May 23 02:31:06 2014 +0300

sci-mathematics/agda: allow mtl-2.2

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

commit ce292accb6ea49886d1c14c5faeeed2b44e25277
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri May 23 02:29:03 2014 +0300

sci-mathematics/agda: allow mtl-2.2, transformers-0.4

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

commit 9938ca054e5f9d057e873e16f503dda85ce207a1
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Mon May 5 17:36:37 2014 +0300

drop EDARCS_GET_CMD from ebuilds

Those are remnants of darcs-1.

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

commit 183980b368ecabb81a5597cf427374eff90a8fc1
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Mon Apr 28 22:20:52 2014 +0300

sci-mathematics/agda-9999: add missing agdai interface file (reported by w0rm)

Failure to build/install .agdai at src_install here
will lead any 'agda' binary invocation
to attempt to create interface file in /usr/share/ dir.

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

commit e52d438b6e077e948e91bd60c1e1098976b0eba2
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri Apr 25 10:30:16 2014 +0300

sci-mathematics/agda: added new depends into live eubild (noticed by w0rm)

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

commit 4a9eb8325613a100c9711e3626d57cb9bfe5f2f5
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Sun Apr 20 23:54:49 2014 +0530

Use quickcheck < 2.7

Package-Manager: portage-2.2.10_p15

commit fbc47d52c742e42228790d2cd1dee35c79270a21
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sat Apr 19 17:02:47 2014 +0300

sci-mathematics/agda-9999: update live ebuild

Github-issue: https://github.com/gentoo-haskell/gentoo-haskell/pull/317
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit 58c29c9949abd6fd4c6d0b908ea7d7203ab10758
Author: Alexander Vershilov <alexander.vershilov@gmail.com>
Date: Tue Apr 15 20:38:42 2014 +0400

sci-mathematics/agda: fix QC dep

commit a88385bba8d76bd5f5085793d76a34bffc954dfb
Author: Alexander Vershilov <alexander.vershilov@gmail.com>
Date: Tue Apr 15 16:09:03 2014 +0400

dev-haskell/agda: fix QC dep

commit c9aa62035a4caa10f2cdad37263fdf32a3b94eb5
Author: Alexander Vershilov <alexander.vershilov@gmail.com>
Date: Wed Apr 2 17:26:27 2014 +0400

sci-mathematics/agda: allow quickcheck-2.7

commit 059191e513a16ad4ee75c7850cd44101ed0379a6
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Tue Feb 25 18:19:29 2014 +0300

sci-mathematics/agda: drop old ebuilds, update -9999 to contain fixes

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

commit 6ec70158fa9677cd14271b2b6a789b93ae6ea8ab
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Tue Feb 25 18:00:17 2014 +0300

sci-mathematics/agda: fix emacs file compilation (found by vikraman)

Pass proper directory to emacs batch compiler instead of default '-L .' one.

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

commit a1886a1f0471c5ed7c0fbec6d2ae865847043552
Author: Alexander Vershilov <alexander.vershilov@gmail.com>
Date: Mon Feb 10 21:26:01 2014 +0400

dev-haskell/agda: allow ghc-7.8

commit a656c0e69a8be3fa2c365eee03ce0908c64f1e10
Author: Mark Wright <gienah@gentoo.org>
Date: Tue Dec 10 22:21:09 2013 +1100

Loosen text dep in agda-2.3.2.2-r1

commit bc7a3de05e5cd6d5f971d880c63b6fe2cda19fad
Author: Mark Wright <gienah@gentoo.org>
Date: Mon Nov 4 13:06:09 2013 +1100

Thanks to thebnq for reporting: add back missing PDEPEND="stdlib? ( sci-mathematics/agda-stdlib )". Bump agda to 2.3.2.2.

commit 5726b03b31862e5b499a5cccb34407d344992d63
Author: Mark Wright <gienah@gentoo.org>
Date: Sat Oct 12 13:38:21 2013 +1100

Upstream loosened the QuickCheck dep in agda-9999

commit 3205e96b86ecce978b14d6650ef575c98f5750b7
Author: Mark Wright <gienah@gentoo.org>
Date: Fri Oct 11 17:38:06 2013 +1100

elisp-compile agda-mode. Fix the live ebuild.

commit 5e481b1426475f237934a29b8c34e68cf7841732
Author: Mark Wright <gienah@gentoo.org>
Date: Wed Sep 25 01:31:26 2013 +1000

allow alex 3.1 for Agda 2.3.2.1-r1

commit b098b9e0f87e02af3ef70d09fb0aead4c89fda4b
Author: Mark Wright <gienah@gentoo.org>
Date: Fri Sep 13 17:09:16 2013 +1000

agda patch needs another #ifdef

commit 7f06e8ba676b7e6e4708dbc6342bf10613534f40
Author: Mark Wright <gienah@gentoo.org>
Date: Tue Aug 27 12:47:49 2013 +1000

Patch agda-2.3.2.1 to allow haskell-src-exts 1.14

commit 321167d53c328cac455063b084190e03e040fdff
Author: Alexander Vershilov <alexander.vershilov@gmail.com>
Date: Sat Aug 24 20:15:47 2013 +0400

sci-mathematics/agda: allow new haskell-src-ext

commit 6eac76e0e680fa9c3052a271c9b135a2da0a2145
Author: Mark Wright <gienah@gentoo.org>
Date: Sat Jul 6 22:59:44 2013 +1000

Bump agda to 2.3.2.1

commit dec557e2281fe78f59b41abf1443a64eba2cc77d
Author: Mark Wright <gienah@gentoo.org>
Date: Tue Apr 2 18:12:35 2013 +1100

agda - update date in header

commit 33c62fd231be77671f88a77ec3b6b35def175f9c
Author: Mark Wright <gienah@gentoo.org>
Date: Fri Mar 15 11:59:56 2013 +1100

Loosen quickcheck dep in agda-2.3.2-r5

commit bc52e95b2015621f0ca9875114d55de649c8a6aa
Author: Mark Wright <gienah@gentoo.org>
Date: Tue Mar 5 01:23:01 2013 +1100

Loosen hashtables dep in agda-2.3.2-r4

commit 2bf542995ed6c42807b095591dcceeda058c81f8
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sat Mar 2 00:42:48 2013 +0300

sci-mathematics/agda: allow binary-0.7

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

commit 3deafedef2d7d07f5eb1b985038e86477741e493
Author: Mark Wright <gienah@gentoo.org>
Date: Tue Dec 18 22:48:18 2012 +1100

Apply patch submitted to agda mailing list to loosen hashable dep

commit 521cee69bfca1c4bd8c71bab6c6eb4186d4a8dac
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Thu Nov 22 09:36:53 2012 +0300

sci-mathematics/agda: allow binary-0.6

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

commit 79349380d7c0a1585feea58ea1cc48ab78cc96f1
Author: Mark Wright <gienah@gentoo.org>
Date: Sun Nov 18 18:47:21 2012 +1100

Bump agda to 2.3.2, EAPI=5 for 2.3.0.1-r1, sync with portage

commit 34950959da4bdd567e75063fefe8d71a5eb4a62c
Author: Naohiro Aota <naota@gentoo.org>
Date: Fri Nov 9 16:04:09 2012 +0900

sci-mathematics/agda: Add patch to deal with quichcheck update

commit b8a015f727fc72172e9e30a5cece5b6b92a01627
Author: Mark Wright <gienah@gentoo.org>
Date: Fri Sep 14 22:41:51 2012 +1000

agda live builds with ghc 7.6.1

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

big mirror update

commit e389d497fb2b10b909c0c702f52feea656d8935e
Author: Mark Wright <gienah@gentoo.org>
Date: Mon Jul 9 21:07:58 2012 +1000

Allow quickcheck 2.5 in agda

commit a911b9a05313c5be7ca2bfe3c8c1367552316185
Author: Mark Wright <gienah@gentoo.org>
Date: Sat Jun 16 19:39:06 2012 +1000

Thanks to lorem-ipsum for reporting https://github.com/gentoo-haskell/gentoo-haskell/issues/127. Add unordered-containers dep to live Agda ebuild

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 a83d0c68fa52a9b67d1dcadc32d62ab5e2cd8b2a
Author: Mark Wright <gienah@gentoo.org>
Date: Wed May 30 17:22:02 2012 +1000

Use sed in live ebuild to make it more resillient to upstream hacking. virtual/emacs app-emacs/haskell-mode deps

commit bcadb346b2319207ef54691e933ffa15392fd457
Author: Mark Wright <gienah@gentoo.org>
Date: Sat Apr 14 00:50:36 2012 +1000

agda-2.3.0.1 requires syb, add more range checks to deps

commit 6ed290755217dcf4cd08fcf412da420e24e2cf78
Author: Mark Wright <gienah@gentoo.org>
Date: Thu Apr 12 01:43:15 2012 +1000

Patch agda 2.3.0.1 for mtl-2.1

commit 524e6181d986f354e21587eacb8a6e987b544c4d
Author: Mark Wright <gienah@gentoo.org>
Date: Sun Apr 1 12:19:07 2012 +1000

Fix agda 2.3.0.1 build with haskell-src-exts-1.13.0

commit 224d9abc4693616751c18ba1e9cc963b08d8e8aa
Author: Mark Wright <gienah@gentoo.org>
Date: Mon Mar 26 00:58:31 2012 +1100

Bump to 2.3.0.1, EAPI=4, [profile?] for haskell lib depends

commit 660cc42ec4392b9fe9f48e0dcacfefc7250a3a1c
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Tue Mar 20 09:51:16 2012 +0300

sci-mathematics/agda{,-executable}: drop KEYWORDS and unmask live ebuild

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

commit 98ef236512decaffd655872677ef61f5801c3b83
Author: Tom Prince <tom.prince@ualberta.net>
Date: Wed Feb 22 15:16:37 2012 -0500

Install agda standard library with agda by default.

commit 594a6d633a65bf65f49117d3f56383204fc3bf4f
Author: Mark Wright <gienah@gentoo.org>
Date: Fri Feb 10 04:15:14 2012 +1100

Fix agda 2.3.0 build with ghc 7.4.1

commit eb16f8baa4e8d053983f349028b82099697ca801
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Thu Feb 9 11:44:27 2012 +0300

sci-mathematics/agda: drop -Werror from ghc-options.

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

commit 0bf17912af8f4c022e7894b31c1863936b800371
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Wed Feb 1 09:00:53 2012 +0300

sci-mathematics/agda: fix patch for live ebuild

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

commit ec2ddb06c0447f5cdc4c5d8dd58ad524e458005b
Author: Mark Wright <markwright@internode.on.net>
Date: Tue Jan 24 09:14:48 2012 +1100

Sync agda 2.3.0 overlay with portage.

commit 1ea312d281c5c925171a3e2e2c9553f258678410
Author: Mark Wright <markwright@internode.on.net>
Date: Fri Jan 20 14:38:58 2012 +1100

Move dev-haskell/epic to dev-lang/epic in agda. Remove js use flag (as there is no js flag in Agda.cabal). Add epic use flag to metadata.

commit 216a169c1575e711d7e27b851b70cce9f2f00d78
Author: Mark Wright <markwright@internode.on.net>
Date: Fri Dec 23 02:15:02 2011 +1100

Bump agda to 2.3.0

commit d0be04db675469b5cf2310f2e63826036e21c55b
Author: Mark Wright <markwright@internode.on.net>
Date: Sun Nov 27 16:51:52 2011 +1100

Upstream altered the Agda.cabal file again, tweak the patch to match

commit 9adbc4b0c652c72645b32785f23c718e60dfb9ba
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Wed Nov 23 08:47:56 2011 +0300

sci-mathematics/agda: rebuilt patch (fixed building)

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

commit 1c6154eac5a469e89357ee4832c3e3a32df355d5
Author: Mark Wright <markwright@internode.on.net>
Date: Sat Nov 12 17:22:12 2011 +1100

Loosen epic optional dependency, built with ghc 7.2.1 and 7.0.4

commit a3af4342ec0d11dd7b8ad21fbe6aa6a60ed69bb0
Author: Mark Wright <markwright@internode.on.net>
Date: Sun Oct 2 00:40:28 2011 +1000

Bump agda patch to match upstream changes, built with ghc 7.2.1 and 7.0.4

commit 37f1fa5702fbb19e613f4dcefe81f2d9aea53e40
Author: Mark Wright <markwright@internode.on.net>
Date: Sat Aug 13 15:33:10 2011 +1000

Add epic and js use flags, bump emacs patch to work with upstream changes, built with ghc 7.2.1 and 7.0.4

commit f953ca204d312f6ebf9fbddc1e7143ef7b977f02
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Tue Jul 12 16:34:15 2011 +0300

sci-mathematics/agda: fix depends for live ebuild

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

commit 249094d0e7c04e115057443dfa50dcc8375a3b84
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri May 27 15:58:30 2011 +0300

agda-9999: fixed patch against current darcs

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

commit b19404a4744318031615ecc11aff744dbaa6278c
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Mon May 9 14:28:43 2011 +0300

sci-mathematics/agda: fix stray entry in manifest (found by Ke)

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

commit 4f0fda7f9010bffed3f07c38b8655c7a283db4f8
Author: Mark Wright <markwright@internode.on.net>
Date: Fri May 6 22:42:57 2011 +1000

Sergei upstreamed the agda-9999-fix-build-failure.patch, upstream applied it, hence now we rm it. Add missing chunk to agda-9999-emacs.patch to avoid installing duplicate *.el files

commit 57db640ef29075c67fb527d6ab5bc46bc0e20614
Author: Sergei Trofimovich <st@anti-virus.by>
Date: Fri May 6 14:55:56 2011 +0300

sci-mathematics/agda: fixed build failure (undefined ImplicitFromScope)

Signed-off-by: Sergei Trofimovich <st@anti-virus.by>

commit 6927d1199b649e00d10601e8c92cfffbb3dcf725
Author: Mark Wright <markwright@internode.on.net>
Date: Thu May 5 22:09:08 2011 +1000

Agda library/emacs darcs ebuild, build with ghc 7.0.3 (ghc 6.12.3 not tested as it wants quickcheck 2.4)

commit ba8db63a764be2c8b5c46ed09afdcfd287315a27
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Mon Feb 21 22:48:12 2011 +0200

added agda-2.2.6 with range bump for QC-2.4

We don't maintain it, but portage's version
won't build with QC-2.4, so we'll keep it here.

commit f498f34eb844aece5efe85b9485e80e250b21455
Author: Ivan.Miljenovic@gmail.com <unknown>
Date: Tue Feb 17 07:18:45 2009 +0000

rm agda and agda-lib
Stable versions no longer compile (though -darcs ones do).
Might be replaced with a darcs snapshot

commit dbbe8b000ec0eaac7f620bfc9368054d73717a32
Author: Joachim Fasting <joachim.fasting@gmail.com>
Date: Wed Apr 30 12:41:33 2008 +0000

agda{-darcs}: small typo in DESCRIPTION

commit 7648fcb0d88eefc4f793052147741494855d0eaf
Author: Duncan Coutts <dcoutts@gentoo.org>
Date: Wed Dec 12 23:50:27 2007 +0000

Remove all the old files/digest-* files

commit 7cbea21ce3e9c5f0b46d0f89bf700ad7ce53b1c2
Author: Ivan.Miljenovic@gmail.com <unknown>
Date: Sun Oct 7 22:13:11 2007 +0000

Restoring digests, etc.
Someone decided to remove all the digests, manifests, etc... so I added them all back in.
Issue originally raised by madnificent, hgolden and raxas.

commit 4d391f9393f63d06a19bd627fddc9b6b6dad0eff
Author: Joachim Fasting <joachim.fasting@gmail.com>
Date: Fri Sep 21 13:14:56 2007 +0000

agda-2.1.2.ebuild: shorten description.

commit 71ce79615a6b98ff7c9df77c60d75b14b94e83c1
Author: Andres Loeh <kosmikus@gentoo.org>
Date: Mon Aug 20 18:13:38 2007 +0000

added Agda2