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

Parent Directory Parent Directory | Revision Log Revision Log

Links to HEAD: (view) (download) (annotate)

Revision 1.6
Wed Jun 19 06:41:49 2013 UTC (21 months, 4 weeks ago) by slyfox
Branch: MAIN
Changes since 1.5: +1 -1 lines
Drop old.

(Portage version: 2.2.0_alpha177_p3/cvs/Linux x86_64, signed Manifest commit with key 611FF3AA)

Revision 1.5 - (view) (download) (annotate) - [select for diffs]
Wed Sep 12 16:10:27 2012 UTC (2 years, 7 months ago) by qnikst
Branch: MAIN
Changes since 1.4: +2 -2 lines
Diff to previous 1.4
move sci-mathematics/agda/agda- ebuild to mirror://hackage

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

Revision 1.4 - (view) (download) (annotate) - [select for diffs]
Sat Jun 2 09:21:19 2012 UTC (2 years, 10 months ago) by gienah
Branch: MAIN
Changes since 1.3: +4 -4 lines
Diff to previous 1.3
Add virtual/emacs and app-emacs/haskell-mode deps

(Portage version: x86_64)

Revision 1.3 - (view) (download) (annotate) - [select for diffs]
Fri Apr 13 14:58:33 2012 UTC (3 years ago) by gienah
Branch: MAIN
Changes since 1.2: +8 -2 lines
Diff to previous 1.2
agda 2.3.0 and requires syb, add more range checks to deps

(Portage version: x86_64)

Revision 1.2 - (view) (download) (annotate) - [select for diffs]
Sun Mar 25 13:55:19 2012 UTC (3 years ago) by gienah
Branch: MAIN
Changes since 1.1: +20 -14 lines
Diff to previous 1.1
Thanks to tomprince for adding support for agda-stdlib. Bump to, EAPI=4, [profile?] for haskell lib depends.

(Portage version: x86_64)

Revision 1.1 - (view) (download) (annotate) - [select for diffs]
Mon Jan 23 13:52:38 2012 UTC (3 years, 2 months ago) by gienah
Branch: MAIN
Bump agda to 2.3.0 bug #349460

(Portage version: x86_64)

This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, select a symbolic revision name using the selection box, or choose 'Use Text Field' and enter a numeric revision.

  Diffs between and
  Type of Diff should be a

Sort log by:

Sticky Tag:

  ViewVC Help
Powered by ViewVC 1.1.20