/[gentoo-x86]/sci-mathematics/agda/ChangeLog
Gentoo

Log of /sci-mathematics/agda/ChangeLog

Parent Directory Parent Directory | Revision Log Revision Log


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

Revision 1.30 - (view) (download) (annotate) - [select for diffs]
Thu Jan 29 04:15:39 2015 UTC (2 months ago) by gienah
Branch: MAIN
CVS Tags: HEAD
Changes since 1.29: +7 -1 lines
Diff to previous 1.29
Drop old patches

(Portage version: 2.2.15/cvs/Linux x86_64, signed Manifest commit with key 618E971F)


Revision 1.29 - (view) (download) (annotate) - [select for diffs]
Thu Jan 29 03:38:57 2015 UTC (2 months ago) by patrick
Branch: MAIN
Changes since 1.28: +6 -2 lines
Diff to previous 1.28
Drop old with now unsatisfied dep on dev-haskell/hashtables

(Portage version: 2.2.15/cvs/Linux x86_64, unsigned Manifest commit)


Revision 1.28 - (view) (download) (annotate) - [select for diffs]
Sun Dec 14 10:24:58 2014 UTC (3 months, 2 weeks ago) by gienah
Branch: MAIN
Changes since 1.27: +7 -1 lines
Diff to previous 1.27
Bump agda to 2.4.2.2-r1

(Portage version: 2.2.15/cvs/Linux x86_64, signed Manifest commit with key 618E971F)


Revision 1.27 - (view) (download) (annotate) - [select for diffs]
Wed Jul 2 15:25:38 2014 UTC (8 months, 4 weeks ago) by gienah
Branch: MAIN
Changes since 1.26: +6 -1 lines
Diff to previous 1.26
Bump agda to 2.4.0.1

(Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key 618E971F)


Revision 1.26 - (view) (download) (annotate) - [select for diffs]
Tue Feb 25 15:40:58 2014 UTC (13 months ago) by slyfox
Branch: MAIN
Changes since 1.25: +8 -2 lines
Diff to previous 1.25
Drop old.

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


Revision 1.25 - (view) (download) (annotate) - [select for diffs]
Tue Dec 10 11:25:16 2013 UTC (15 months, 2 weeks ago) by gienah
Branch: MAIN
Changes since 1.24: +6 -1 lines
Diff to previous 1.24
Bump agda to 2.3.2.2-r1

(Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key 618E971F)


Revision 1.24 - (view) (download) (annotate) - [select for diffs]
Sat Oct 19 11:07:42 2013 UTC (17 months, 1 week ago) by gienah
Branch: MAIN
Changes since 1.23: +6 -1 lines
Diff to previous 1.23
Byte-compile the emacs elisp files, to make Mx agda2-type-and-context work, fixes https://code.google.com/p/agda/issues/detail?id=792. Loosen the alex DEPEND.

(Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key 618E971F)


Revision 1.23 - (view) (download) (annotate) - [select for diffs]
Fri Sep 13 06:58:23 2013 UTC (18 months, 2 weeks ago) by gienah
Branch: MAIN
Changes since 1.22: +7 -1 lines
Diff to previous 1.22
Patch agda 2.3.2.1 for haskell-src-exts 1.14

(Portage version: 2.2.3/cvs/Linux x86_64, signed Manifest commit with key 618E971F)


Revision 1.22 - (view) (download) (annotate) - [select for diffs]
Wed Jun 19 06:41:49 2013 UTC (21 months, 1 week ago) by slyfox
Branch: MAIN
Changes since 1.21: +4 -1 lines
Diff to previous 1.21
Drop old.

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


Revision 1.21 - (view) (download) (annotate) - [select for diffs]
Tue Apr 2 07:23:23 2013 UTC (23 months, 4 weeks ago) by gienah
Branch: MAIN
Changes since 1.20: +7 -2 lines
Diff to previous 1.20
Loosen hashtables and quickcheck deps in agda 2.3.2-r5

(Portage version: 2.2.0_alpha171/cvs/Linux x86_64, signed Manifest commit with key 618E971F)


Revision 1.20 - (view) (download) (annotate) - [select for diffs]
Fri Dec 28 05:47:39 2012 UTC (2 years, 3 months ago) by gienah
Branch: MAIN
Changes since 1.19: +7 -1 lines
Diff to previous 1.19
Loosen binary dep, patch for hashable 1.2

(Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 618E971F)


Revision 1.19 - (view) (download) (annotate) - [select for diffs]
Sun Nov 18 07:48:34 2012 UTC (2 years, 4 months ago) by gienah
Branch: MAIN
Changes since 1.18: +6 -1 lines
Diff to previous 1.18
Bump agda to 2.3.2

(Portage version: 2.1.11.31/cvs/Linux x86_64, signed Manifest commit with key 618E971F)


Revision 1.18 - (view) (download) (annotate) - [select for diffs]
Sun Nov 18 07:01:39 2012 UTC (2 years, 4 months ago) by gienah
Branch: MAIN
Changes since 1.17: +8 -1 lines
Diff to previous 1.17
Thanks to Naohiro Aota for adding patch for agda 2.3.0.1 to build with quickcheck 2.5

(Portage version: 2.1.11.31/cvs/Linux x86_64, signed Manifest commit with key 618E971F)


Revision 1.17 - (view) (download) (annotate) - [select for diffs]
Wed Sep 12 16:10:28 2012 UTC (2 years, 6 months ago) by qnikst
Branch: MAIN
Changes since 1.16: +5 -2 lines
Diff to previous 1.16
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.16 - (view) (download) (annotate) - [select for diffs]
Sat Jun 2 09:21:19 2012 UTC (2 years, 9 months ago) by gienah
Branch: MAIN
Changes since 1.15: +5 -1 lines
Diff to previous 1.15
Add virtual/emacs and app-emacs/haskell-mode deps

(Portage version: 2.1.10.64/cvs/Linux x86_64)


Revision 1.15 - (view) (download) (annotate) - [select for diffs]
Fri Apr 13 14:58:33 2012 UTC (2 years, 11 months ago) by gienah
Branch: MAIN
Changes since 1.14: +5 -1 lines
Diff to previous 1.14
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.14 - (view) (download) (annotate) - [select for diffs]
Fri Apr 13 10:56:39 2012 UTC (2 years, 11 months ago) by gienah
Branch: MAIN
Changes since 1.13: +5 -1 lines
Diff to previous 1.13
Fix agda 2.3.0.1 build with mtl-2.1

(Portage version: 2.1.10.56/cvs/Linux x86_64)


Revision 1.13 - (view) (download) (annotate) - [select for diffs]
Sun Apr 1 02:18:07 2012 UTC (2 years, 11 months ago) by gienah
Branch: MAIN
Changes since 1.12: +5 -1 lines
Diff to previous 1.12
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.12 - (view) (download) (annotate) - [select for diffs]
Sun Mar 25 13:55:19 2012 UTC (3 years ago) by gienah
Branch: MAIN
Changes since 1.11: +8 -1 lines
Diff to previous 1.11
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)


Revision 1.11 - (view) (download) (annotate) - [select for diffs]
Mon Jan 23 13:52:38 2012 UTC (3 years, 2 months ago) by gienah
Branch: MAIN
Changes since 1.10: +8 -2 lines
Diff to previous 1.10
Bump agda to 2.3.0 bug #349460

(Portage version: 2.1.10.44/cvs/Linux x86_64)


Revision 1.10 - (view) (download) (annotate) - [select for diffs]
Sat Nov 20 13:45:12 2010 UTC (4 years, 4 months ago) by kolmodin
Branch: MAIN
Changes since 1.9: +8 -1 lines
Diff to previous 1.9
Make sure the agda library gets registered with ghc.
(Portage version: 2.1.8.3/cvs/Linux x86_64)


Revision 1.9 - (view) (download) (annotate) - [select for diffs]
Tue Sep 14 19:53:51 2010 UTC (4 years, 6 months ago) by bicatali
Branch: MAIN
Changes since 1.8: +10 -2 lines
Diff to previous 1.8
Version bump, ebuild originally from markusle (bug #303973). Also forced emacs on dependencies (thanks to ulm, bug #336741)

(Portage version: 2.2_rc81/cvs/Linux x86_64)


Revision 1.8 - (view) (download) (annotate) - [select for diffs]
Fri Dec 5 16:58:17 2008 UTC (6 years, 3 months ago) by bicatali
Branch: MAIN
Changes since 1.7: +8 -1 lines
Diff to previous 1.7
Emacs and dependencies fixes, thanks to ulm, bug #249360. Removed -j1 since parallel building seems to work again.
(Portage version: 2.2_rc16/cvs/Linux 2.6.25-gentoo-r7 x86_64)


Revision 1.7 - (view) (download) (annotate) - [select for diffs]
Sat Jul 26 11:37:35 2008 UTC (6 years, 8 months ago) by markusle
Branch: MAIN
Changes since 1.6: +8 -2 lines
Diff to previous 1.6
Fixed several compile and QA issues (fixes bug #232349). Disabled doc useflag for now since installation of html docs is broken.
(Portage version: 2.2_rc3/cvs/Linux 2.6.25-SENTINEL-5 i686)


Revision 1.6 - (view) (download) (annotate) - [select for diffs]
Wed Oct 31 13:28:20 2007 UTC (7 years, 5 months ago) by dcoutts
Branch: MAIN
Changes since 1.5: +5 -1 lines
Diff to previous 1.5
Drop virtual/ghc in favour of dev-lang/ghc
(Portage version: 2.1.3.16)


Revision 1.5 - (view) (download) (annotate) - [select for diffs]
Sun Sep 23 12:12:04 2007 UTC (7 years, 6 months ago) by opfer
Branch: MAIN
Changes since 1.4: +8 -1 lines
Diff to previous 1.4
add elisp-site-regen to postrm and canonicalise it in postinst; depending on USE=emacs
(Portage version: 2.1.3.9)


Revision 1.4 - (view) (download) (annotate) - [select for diffs]
Tue Jul 31 21:55:39 2007 UTC (7 years, 8 months ago) by phreak
Branch: MAIN
Changes since 1.3: +4 -1 lines
Diff to previous 1.3
Reassigning to sci from math-proof.
(Portage version: 2.1.3_rc9)


Revision 1.3 - (view) (download) (annotate) - [select for diffs]
Sun Mar 25 09:46:21 2007 UTC (8 years ago) by nattfodd
Branch: MAIN
Changes since 1.2: +4 -1 lines
Diff to previous 1.2
Added haskell herd and removed myself as maintainer.
(Portage version: 2.1.2.2)


Revision 1.2 - (view) (download) (annotate) - [select for diffs]
Sun Mar 18 19:00:12 2007 UTC (8 years ago) by nattfodd
Branch: MAIN
Changes since 1.1: +9 -2 lines
Diff to previous 1.1
Bump to 1.0.2 and updated metainformations. Agda2 will be added when it is stable enough.
(Portage version: 2.1.2.1)


Revision 1.1 - (view) (download) (annotate) - [select for diffs]
Wed Jul 12 13:21:35 2006 UTC (8 years, 8 months ago) by nattfodd
Branch: MAIN
Initial commit
(Portage version: 2.1.1_pre2-r6)


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