Log of /sci-mathematics/agda/agda-2.3.0.1.ebuild

---

Revision 1.6 - (view) (download) (annotate) - [select for diffs]
Wed Sep 12 16:10:28 2012 UTC (8 months, 1 week ago) by qnikst
Branch: MAIN
CVS Tags: HEAD
Changes since 1.5: +2 -2 lines
Diff to previous 1.5

move sci-mathematics/agda/agda-2.3.0.1.ebuild ebuild to mirror://hackage

(Portage version: 2.2.0_alpha125/cvs/Linux x86_64)

---

Revision 1.5 - (view) (download) (annotate) - [select for diffs]
Sat Jun 2 09:21:19 2012 UTC (11 months, 3 weeks ago) by gienah
Branch: MAIN
Changes since 1.4: +4 -4 lines
Diff to previous 1.4

Add virtual/emacs and app-emacs/haskell-mode deps

(Portage version: 2.1.10.64/cvs/Linux x86_64)

---

Revision 1.4 - (view) (download) (annotate) - [select for diffs]
Fri Apr 13 14:58:33 2012 UTC (13 months, 1 week ago) by gienah
Branch: MAIN
Changes since 1.3: +8 -2 lines
Diff to previous 1.3

agda 2.3.0 and 2.3.0.1 requires syb, add more range checks to deps

(Portage version: 2.1.10.56/cvs/Linux x86_64)

---

Revision 1.3 - (view) (download) (annotate) - [select for diffs]
Fri Apr 13 10:56:39 2012 UTC (13 months, 1 week ago) by gienah
Branch: MAIN
Changes since 1.2: +4 -2 lines
Diff to previous 1.2

Fix agda 2.3.0.1 build with mtl-2.1

(Portage version: 2.1.10.56/cvs/Linux x86_64)

---

Revision 1.2 - (view) (download) (annotate) - [select for diffs]
Sun Apr 1 02:18:07 2012 UTC (13 months, 3 weeks ago) by gienah
Branch: MAIN
Changes since 1.1: +2 -1 lines
Diff to previous 1.1

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

(Portage version: 2.1.10.52/cvs/Linux x86_64)

---

Revision 1.1 - (view) (download) (annotate) - [select for diffs]
Sun Mar 25 13:55:19 2012 UTC (13 months, 4 weeks ago) by gienah
Branch: MAIN

Thanks to tomprince for adding support for agda-stdlib. Bump to 2.3.0.1, EAPI=4, [profile?] for haskell lib depends.

(Portage version: 2.1.10.51/cvs/Linux x86_64)